Index: client/html/generated/html/interface/Element.dart |
diff --git a/client/html/generated/html/interface/Element.dart b/client/html/generated/html/interface/Element.dart |
index be728abf004b500e98df1d401aa4bed90eb5c363..00d1ea9e381bf0bd7ac903ad295404e9c2585bbb 100644 |
--- a/client/html/generated/html/interface/Element.dart |
+++ b/client/html/generated/html/interface/Element.dart |
@@ -263,12 +263,6 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider { |
*/ |
ElementList queryAll(String selectors); |
- // 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); |
- |
/** |
* @domName childElementCount, firstElementChild, lastElementChild, |
* children, Node.nodes.add |
@@ -375,6 +369,8 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider { |
final String tagName; |
+ String title; |
+ |
final String webkitRegionOverflow; |
String webkitdropzone; |