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