| Index: client/dom/generated/src/frog/Document.dart
|
| diff --git a/client/dom/generated/src/frog/Document.dart b/client/dom/generated/src/frog/Document.dart
|
| index 13ad0c0059d122e6fe2baa6a87f4d5c5e4e8581e..c267269c01f9f78d8a53e980d6274223591639e1 100644
|
| --- a/client/dom/generated/src/frog/Document.dart
|
| +++ b/client/dom/generated/src/frog/Document.dart
|
| @@ -1,97 +1,77 @@
|
|
|
| class _DocumentJs extends _NodeJs implements Document native "*Document" {
|
|
|
| - String get URL() native "return this.URL;";
|
| + final String URL;
|
|
|
| - _HTMLCollectionJs get anchors() native "return this.anchors;";
|
| + final _HTMLCollectionJs anchors;
|
|
|
| - _HTMLCollectionJs get applets() native "return this.applets;";
|
| + final _HTMLCollectionJs applets;
|
|
|
| - _HTMLElementJs get body() native "return this.body;";
|
| + _HTMLElementJs body;
|
|
|
| - void set body(_HTMLElementJs value) native "this.body = value;";
|
| + final String characterSet;
|
|
|
| - String get characterSet() native "return this.characterSet;";
|
| + String charset;
|
|
|
| - String get charset() native "return this.charset;";
|
| + final String compatMode;
|
|
|
| - void set charset(String value) native "this.charset = value;";
|
| + String cookie;
|
|
|
| - String get compatMode() native "return this.compatMode;";
|
| + final String defaultCharset;
|
|
|
| - String get cookie() native "return this.cookie;";
|
| + final _DOMWindowJs defaultView;
|
|
|
| - void set cookie(String value) native "this.cookie = value;";
|
| + final _DocumentTypeJs doctype;
|
|
|
| - String get defaultCharset() native "return this.defaultCharset;";
|
| + final _ElementJs documentElement;
|
|
|
| - _DOMWindowJs get defaultView() native "return this.defaultView;";
|
| + String documentURI;
|
|
|
| - _DocumentTypeJs get doctype() native "return this.doctype;";
|
| + String domain;
|
|
|
| - _ElementJs get documentElement() native "return this.documentElement;";
|
| + final _HTMLCollectionJs forms;
|
|
|
| - String get documentURI() native "return this.documentURI;";
|
| + final _HTMLHeadElementJs head;
|
|
|
| - void set documentURI(String value) native "this.documentURI = value;";
|
| + final _HTMLCollectionJs images;
|
|
|
| - String get domain() native "return this.domain;";
|
| + final _DOMImplementationJs implementation;
|
|
|
| - void set domain(String value) native "this.domain = value;";
|
| + final String inputEncoding;
|
|
|
| - _HTMLCollectionJs get forms() native "return this.forms;";
|
| + final String lastModified;
|
|
|
| - _HTMLHeadElementJs get head() native "return this.head;";
|
| + final _HTMLCollectionJs links;
|
|
|
| - _HTMLCollectionJs get images() native "return this.images;";
|
| + _LocationJs location;
|
|
|
| - _DOMImplementationJs get implementation() native "return this.implementation;";
|
| + final String preferredStylesheetSet;
|
|
|
| - String get inputEncoding() native "return this.inputEncoding;";
|
| + final String readyState;
|
|
|
| - String get lastModified() native "return this.lastModified;";
|
| + final String referrer;
|
|
|
| - _HTMLCollectionJs get links() native "return this.links;";
|
| + String selectedStylesheetSet;
|
|
|
| - _LocationJs get location() native "return this.location;";
|
| + final _StyleSheetListJs styleSheets;
|
|
|
| - void set location(_LocationJs value) native "this.location = value;";
|
| + String title;
|
|
|
| - String get preferredStylesheetSet() native "return this.preferredStylesheetSet;";
|
| + final _ElementJs webkitCurrentFullScreenElement;
|
|
|
| - String get readyState() native "return this.readyState;";
|
| + final bool webkitFullScreenKeyboardInputAllowed;
|
|
|
| - String get referrer() native "return this.referrer;";
|
| + final bool webkitHidden;
|
|
|
| - String get selectedStylesheetSet() native "return this.selectedStylesheetSet;";
|
| + final bool webkitIsFullScreen;
|
|
|
| - void set selectedStylesheetSet(String value) native "this.selectedStylesheetSet = value;";
|
| + final String webkitVisibilityState;
|
|
|
| - _StyleSheetListJs get styleSheets() native "return this.styleSheets;";
|
| + final String xmlEncoding;
|
|
|
| - String get title() native "return this.title;";
|
| + bool xmlStandalone;
|
|
|
| - void set title(String value) native "this.title = value;";
|
| -
|
| - _ElementJs get webkitCurrentFullScreenElement() native "return this.webkitCurrentFullScreenElement;";
|
| -
|
| - bool get webkitFullScreenKeyboardInputAllowed() native "return this.webkitFullScreenKeyboardInputAllowed;";
|
| -
|
| - bool get webkitHidden() native "return this.webkitHidden;";
|
| -
|
| - bool get webkitIsFullScreen() native "return this.webkitIsFullScreen;";
|
| -
|
| - String get webkitVisibilityState() native "return this.webkitVisibilityState;";
|
| -
|
| - String get xmlEncoding() native "return this.xmlEncoding;";
|
| -
|
| - bool get xmlStandalone() native "return this.xmlStandalone;";
|
| -
|
| - void set xmlStandalone(bool value) native "this.xmlStandalone = value;";
|
| -
|
| - String get xmlVersion() native "return this.xmlVersion;";
|
| -
|
| - void set xmlVersion(String value) native "this.xmlVersion = value;";
|
| + String xmlVersion;
|
|
|
| _NodeJs adoptNode(_NodeJs source) native;
|
|
|
|
|