| Index: client/html/generated/html/interface/Document.dart
|
| diff --git a/client/html/generated/html/interface/Document.dart b/client/html/generated/html/interface/Document.dart
|
| index ab3ae0702c6ea3b9962827d7cb1b7bf07ba582be..2d3ff038aff2a9977114618d01236a4a63f2b8de 100644
|
| --- a/client/html/generated/html/interface/Document.dart
|
| +++ b/client/html/generated/html/interface/Document.dart
|
| @@ -4,12 +4,6 @@
|
|
|
| interface Document extends HtmlElement {
|
|
|
| - // 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();
|
| - void set title(String value);
|
| -
|
|
|
| final Element activeElement;
|
|
|
| @@ -37,6 +31,8 @@ interface Document extends HtmlElement {
|
|
|
| final StyleSheetList styleSheets;
|
|
|
| + String title;
|
| +
|
| final Element webkitCurrentFullScreenElement;
|
|
|
| final bool webkitFullScreenKeyboardInputAllowed;
|
|
|