| Index: client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
|
| diff --git a/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart b/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
|
| index ab31ea2ace360f904d419bf0ec1c98f9ed3cf9a1..26242cb5c20930b09b15c668df2a32bf5c04f3a4 100644
|
| --- a/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
|
| +++ b/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
|
| @@ -56,9 +56,6 @@ class _HTMLDocumentWrappingImplementation extends _DocumentWrappingImplementatio
|
| void set fgColor(String value) { _set_fgColor(this, value); }
|
| static void _set_fgColor(var _this, String value) native;
|
|
|
| - int get height() { return _get_height(this); }
|
| - static int _get_height(var _this) native;
|
| -
|
| String get linkColor() { return _get_linkColor(this); }
|
| static String _get_linkColor(var _this) native;
|
|
|
| @@ -77,9 +74,6 @@ class _HTMLDocumentWrappingImplementation extends _DocumentWrappingImplementatio
|
| void set vlinkColor(String value) { _set_vlinkColor(this, value); }
|
| static void _set_vlinkColor(var _this, String value) native;
|
|
|
| - int get width() { return _get_width(this); }
|
| - static int _get_width(var _this) native;
|
| -
|
| void captureEvents() {
|
| _captureEvents(this);
|
| return;
|
|
|