| Index: client/dom/generated/src/interface/HTMLDocument.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLDocument.dart b/client/dom/generated/src/interface/HTMLDocument.dart
|
| index 07d02dd8ffad12d19a91fe8c41ebf8092f3a793d..f668d4328e1933b622a6d09a37357177198081b2 100644
|
| --- a/client/dom/generated/src/interface/HTMLDocument.dart
|
| +++ b/client/dom/generated/src/interface/HTMLDocument.dart
|
| @@ -6,47 +6,31 @@
|
|
|
| interface HTMLDocument extends Document {
|
|
|
| - Element get activeElement();
|
| + final Element activeElement;
|
|
|
| - String get alinkColor();
|
| + String alinkColor;
|
|
|
| - void set alinkColor(String value);
|
| + HTMLAllCollection all;
|
|
|
| - HTMLAllCollection get all();
|
| + String bgColor;
|
|
|
| - void set all(HTMLAllCollection value);
|
| + final String compatMode;
|
|
|
| - String get bgColor();
|
| + String designMode;
|
|
|
| - void set bgColor(String value);
|
| + String dir;
|
|
|
| - String get compatMode();
|
| + final HTMLCollection embeds;
|
|
|
| - String get designMode();
|
| + String fgColor;
|
|
|
| - void set designMode(String value);
|
| + String linkColor;
|
|
|
| - String get dir();
|
| + final HTMLCollection plugins;
|
|
|
| - void set dir(String value);
|
| + final HTMLCollection scripts;
|
|
|
| - HTMLCollection get embeds();
|
| -
|
| - String get fgColor();
|
| -
|
| - void set fgColor(String value);
|
| -
|
| - String get linkColor();
|
| -
|
| - void set linkColor(String value);
|
| -
|
| - HTMLCollection get plugins();
|
| -
|
| - HTMLCollection get scripts();
|
| -
|
| - String get vlinkColor();
|
| -
|
| - void set vlinkColor(String value);
|
| + String vlinkColor;
|
|
|
| void captureEvents();
|
|
|
|
|