| Index: client/dom/generated/src/frog/HTMLDocument.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLDocument.dart b/client/dom/generated/src/frog/HTMLDocument.dart
|
| index ecab0e53ca7cd0f523ded0f8f7a7af298a6d3ff7..d661e6dfcfb1ad2f75a392c8657d1d9a386d0e4a 100644
|
| --- a/client/dom/generated/src/frog/HTMLDocument.dart
|
| +++ b/client/dom/generated/src/frog/HTMLDocument.dart
|
| @@ -19,6 +19,8 @@ class HTMLDocument extends Document native "*HTMLDocument" {
|
|
|
| String fgColor;
|
|
|
| + int height;
|
| +
|
| String linkColor;
|
|
|
| HTMLCollection plugins;
|
| @@ -27,6 +29,8 @@ class HTMLDocument extends Document native "*HTMLDocument" {
|
|
|
| String vlinkColor;
|
|
|
| + int width;
|
| +
|
| void captureEvents() native;
|
|
|
| void clear() native;
|
|
|