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