| Index: client/dom/generated/src/interface/HTMLDocument.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLDocument.dart b/client/dom/generated/src/interface/HTMLDocument.dart
|
| index 71a557921e4c067a1a970bc7faca9ccc037469a9..5073d760daf58e757ef70f1c10d4d5274d2f1068 100644
|
| --- a/client/dom/generated/src/interface/HTMLDocument.dart
|
| +++ b/client/dom/generated/src/interface/HTMLDocument.dart
|
| @@ -36,8 +36,6 @@ interface HTMLDocument extends Document {
|
|
|
| void set fgColor(String value);
|
|
|
| - int get height();
|
| -
|
| String get linkColor();
|
|
|
| void set linkColor(String value);
|
| @@ -50,8 +48,6 @@ interface HTMLDocument extends Document {
|
|
|
| void set vlinkColor(String value);
|
|
|
| - int get width();
|
| -
|
| void captureEvents();
|
|
|
| void clear();
|
|
|