| Index: client/html/generated/html/frog/Document.dart
|
| diff --git a/client/html/generated/html/frog/Document.dart b/client/html/generated/html/frog/Document.dart
|
| index 2a61785286c221b31ff6be1efb3ab7e14f6e2388..5e18acd4ee0a2314885401d65f7cb848c86f6b75 100644
|
| --- a/client/html/generated/html/frog/Document.dart
|
| +++ b/client/html/generated/html/frog/Document.dart
|
| @@ -40,6 +40,10 @@ class _DocumentImpl extends _ElementImpl
|
|
|
| _StyleSheetListImpl get styleSheets() native "return this.parentNode.styleSheets;";
|
|
|
| + String get title() native "return this.parentNode.title;";
|
| +
|
| + void set title(String value) native "this.parentNode.title = value;";
|
| +
|
| _ElementImpl get webkitCurrentFullScreenElement() native "return this.parentNode.webkitCurrentFullScreenElement;";
|
|
|
| bool get webkitFullScreenKeyboardInputAllowed() native "return this.parentNode.webkitFullScreenKeyboardInputAllowed;";
|
| @@ -92,13 +96,6 @@ class _DocumentImpl extends _ElementImpl
|
| _WebKitNamedFlowImpl webkitGetFlowByName(String name) native "return this.parentNode.webkitGetFlowByName(name);";
|
|
|
|
|
| - // TODO(jacobr): remove these methods and let them be generated automatically
|
| - // once dart supports defining fields with the same name in an interface and
|
| - // its parent interface.
|
| - String get title() native "return this.parentNode.title;";
|
| - void set title(String value) native "this.parentNode.title = value;";
|
| -
|
| -
|
| // For efficiency and simplicity, we always use the HtmlElement as the
|
| // Document but sometimes internally we need the real JS document object.
|
| _NodeImpl get _jsDocument() native "return this.parentNode;";
|
|
|