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