| Index: client/dom/generated/src/interface/HTMLMarqueeElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLMarqueeElement.dart b/client/dom/generated/src/interface/HTMLMarqueeElement.dart
|
| index 6e9cb3d5ea48ca16e13235b5ef423a850517b1ac..92c83c0a96c9e5c6560f9c35192780856de2771e 100644
|
| --- a/client/dom/generated/src/interface/HTMLMarqueeElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLMarqueeElement.dart
|
| @@ -6,49 +6,27 @@
|
|
|
| interface HTMLMarqueeElement extends HTMLElement {
|
|
|
| - String get behavior();
|
| + String behavior;
|
|
|
| - void set behavior(String value);
|
| + String bgColor;
|
|
|
| - String get bgColor();
|
| + String direction;
|
|
|
| - void set bgColor(String value);
|
| + String height;
|
|
|
| - String get direction();
|
| + int hspace;
|
|
|
| - void set direction(String value);
|
| + int loop;
|
|
|
| - String get height();
|
| + int scrollAmount;
|
|
|
| - void set height(String value);
|
| + int scrollDelay;
|
|
|
| - int get hspace();
|
| + bool trueSpeed;
|
|
|
| - void set hspace(int value);
|
| + int vspace;
|
|
|
| - int get loop();
|
| -
|
| - void set loop(int value);
|
| -
|
| - int get scrollAmount();
|
| -
|
| - void set scrollAmount(int value);
|
| -
|
| - int get scrollDelay();
|
| -
|
| - void set scrollDelay(int value);
|
| -
|
| - bool get trueSpeed();
|
| -
|
| - void set trueSpeed(bool value);
|
| -
|
| - int get vspace();
|
| -
|
| - void set vspace(int value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| + String width;
|
|
|
| void start();
|
|
|
|
|