| Index: client/dom/generated/src/interface/HTMLAppletElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLAppletElement.dart b/client/dom/generated/src/interface/HTMLAppletElement.dart
|
| index a6021dd671d1ab2e262f8f6b158b5210c86f730c..a93a9d1354ef0ce021bb0c1eb742567d77a84f94 100644
|
| --- a/client/dom/generated/src/interface/HTMLAppletElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLAppletElement.dart
|
| @@ -6,47 +6,25 @@
|
|
|
| interface HTMLAppletElement extends HTMLElement {
|
|
|
| - String get align();
|
| + String align;
|
|
|
| - void set align(String value);
|
| + String alt;
|
|
|
| - String get alt();
|
| + String archive;
|
|
|
| - void set alt(String value);
|
| + String code;
|
|
|
| - String get archive();
|
| + String codeBase;
|
|
|
| - void set archive(String value);
|
| + String height;
|
|
|
| - String get code();
|
| + String hspace;
|
|
|
| - void set code(String value);
|
| + String name;
|
|
|
| - String get codeBase();
|
| + String object;
|
|
|
| - void set codeBase(String value);
|
| + String vspace;
|
|
|
| - String get height();
|
| -
|
| - void set height(String value);
|
| -
|
| - String get hspace();
|
| -
|
| - void set hspace(String value);
|
| -
|
| - String get name();
|
| -
|
| - void set name(String value);
|
| -
|
| - String get object();
|
| -
|
| - void set object(String value);
|
| -
|
| - String get vspace();
|
| -
|
| - void set vspace(String value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| + String width;
|
| }
|
|
|