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