Index: client/html/generated/html/dartium/Document.dart |
diff --git a/client/html/generated/html/dartium/Document.dart b/client/html/generated/html/dartium/Document.dart |
index db94010b20019284ee29972b48f4b0dcfc0d58a2..584944440e70abdf678e86981a935e85abe61dee 100644 |
--- a/client/html/generated/html/dartium/Document.dart |
+++ b/client/html/generated/html/dartium/Document.dart |
@@ -39,6 +39,10 @@ class _DocumentImpl extends _ElementImpl |
StyleSheetList get styleSheets() => _wrap(_documentPtr.styleSheets); |
+ String get title() => _wrap(_documentPtr.title); |
+ |
+ void set title(String value) { _documentPtr.title = _unwrap(value); } |
+ |
Element get webkitCurrentFullScreenElement() => _wrap(_documentPtr.webkitCurrentFullScreenElement); |
bool get webkitFullScreenKeyboardInputAllowed() => _wrap(_documentPtr.webkitFullScreenKeyboardInputAllowed); |
@@ -132,7 +136,7 @@ class _DocumentImpl extends _ElementImpl |
} |
- final dom.Document _documentPtr; |
+ final dom.HTMLDocument _documentPtr; |
final _NodeImpl _wrappedDocumentPtr; |
_DocumentImpl._wrap(ptr) : |
@@ -141,12 +145,6 @@ _DocumentImpl._wrap(ptr) : |
_wrappedDocumentPtr = ptr.parentNode != null ? |
new _SecretHtmlDocumentImpl._wrap(ptr.parentNode) : null; |
- // 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() => _documentPtr.title; |
- void set title(String value) => _documentPtr.title = title; |
- |
// For efficiency and simplicity, we always use the HtmlElement as the |
// Document but sometimes internally we need the real JS document object. |
_NodeImpl get _rawDocument() => _wrappedDocumentPtr; |