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(); |