| 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 f137f11278e8bf03a36a17e90fbd8dac877e91d3..2972c8bc0eb0fc9574fa7aef37e4e592d45256da 100644
|
| --- a/client/dom/generated/src/frog/HTMLPreElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLPreElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLPreElement extends HTMLElement native "*HTMLPreElement" {
|
| +class HTMLPreElementJS extends HTMLElementJS implements HTMLPreElement native "*HTMLPreElement" {
|
|
|
| int get width() native "return this.width;";
|
|
|
|
|