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