Index: client/dom/generated/src/interface/HTMLAreaElement.dart |
diff --git a/client/dom/generated/src/interface/HTMLAreaElement.dart b/client/dom/generated/src/interface/HTMLAreaElement.dart |
index c40ab6db4c4e1f24215e5ae931f2c1353f0ba868..f782b3823e5b07bb6094eea47bca2de87c032873 100644 |
--- a/client/dom/generated/src/interface/HTMLAreaElement.dart |
+++ b/client/dom/generated/src/interface/HTMLAreaElement.dart |
@@ -6,45 +6,31 @@ |
interface HTMLAreaElement extends HTMLElement { |
- String get alt(); |
+ String alt; |
- void set alt(String value); |
+ String coords; |
- String get coords(); |
+ final String hash; |
- void set coords(String value); |
+ final String host; |
- String get hash(); |
+ final String hostname; |
- String get host(); |
+ String href; |
- String get hostname(); |
+ bool noHref; |
- String get href(); |
+ final String pathname; |
- void set href(String value); |
+ String ping; |
- bool get noHref(); |
+ final String port; |
- void set noHref(bool value); |
+ final String protocol; |
- String get pathname(); |
+ final String search; |
- String get ping(); |
+ String shape; |
- void set ping(String value); |
- |
- String get port(); |
- |
- String get protocol(); |
- |
- String get search(); |
- |
- String get shape(); |
- |
- void set shape(String value); |
- |
- String get target(); |
- |
- void set target(String value); |
+ String target; |
} |