OLD | NEW |
1 | 1 |
2 class HTMLPreElementJs extends HTMLElementJs implements HTMLPreElement native "*
HTMLPreElement" { | 2 class _HTMLPreElementJs extends _HTMLElementJs implements HTMLPreElement native
"*HTMLPreElement" { |
3 | 3 |
4 int get width() native "return this.width;"; | 4 int get width() native "return this.width;"; |
5 | 5 |
6 void set width(int value) native "this.width = value;"; | 6 void set width(int value) native "this.width = value;"; |
7 | 7 |
8 bool get wrap() native "return this.wrap;"; | 8 bool get wrap() native "return this.wrap;"; |
9 | 9 |
10 void set wrap(bool value) native "this.wrap = value;"; | 10 void set wrap(bool value) native "this.wrap = value;"; |
11 } | 11 } |
OLD | NEW |