| Index: client/dom/generated/src/frog/HTMLPreElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLPreElement.dart b/client/dom/generated/src/frog/HTMLPreElement.dart
|
| index d1b4440c02ab329aa669c1d14b93c15dec3e17e5..f137f11278e8bf03a36a17e90fbd8dac877e91d3 100644
|
| --- a/client/dom/generated/src/frog/HTMLPreElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLPreElement.dart
|
| @@ -1,7 +1,11 @@
|
|
|
| class HTMLPreElement extends HTMLElement native "*HTMLPreElement" {
|
|
|
| - int width;
|
| + int get width() native "return this.width;";
|
|
|
| - bool wrap;
|
| + void set width(int value) native "this.width = value;";
|
| +
|
| + bool get wrap() native "return this.wrap;";
|
| +
|
| + void set wrap(bool value) native "this.wrap = value;";
|
| }
|
|
|