| 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 69dd383ee860307b63c56041727304ca9f2cefd4..a6021dd671d1ab2e262f8f6b158b5210c86f730c 100644
|
| --- a/client/dom/generated/src/interface/HTMLAppletElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLAppletElement.dart
|
| @@ -30,9 +30,9 @@ interface HTMLAppletElement extends HTMLElement {
|
|
|
| void set height(String value);
|
|
|
| - int get hspace();
|
| + String get hspace();
|
|
|
| - void set hspace(int value);
|
| + void set hspace(String value);
|
|
|
| String get name();
|
|
|
| @@ -42,9 +42,9 @@ interface HTMLAppletElement extends HTMLElement {
|
|
|
| void set object(String value);
|
|
|
| - int get vspace();
|
| + String get vspace();
|
|
|
| - void set vspace(int value);
|
| + void set vspace(String value);
|
|
|
| String get width();
|
|
|
|
|