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;"; |
} |