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;"; |