| Index: client/dom/generated/src/frog/Screen.dart
|
| diff --git a/client/dom/generated/src/frog/Screen.dart b/client/dom/generated/src/frog/Screen.dart
|
| index f116a4d775287b96c11bd6e37b87de9be03b8c7d..e42900cd7f7f98d842cc1a0d9e8b14d8cf31b42b 100644
|
| --- a/client/dom/generated/src/frog/Screen.dart
|
| +++ b/client/dom/generated/src/frog/Screen.dart
|
| @@ -1,21 +1,21 @@
|
|
|
| class Screen native "*Screen" {
|
|
|
| - int availHeight;
|
| + int get availHeight() native "return this.availHeight;";
|
|
|
| - int availLeft;
|
| + int get availLeft() native "return this.availLeft;";
|
|
|
| - int availTop;
|
| + int get availTop() native "return this.availTop;";
|
|
|
| - int availWidth;
|
| + int get availWidth() native "return this.availWidth;";
|
|
|
| - int colorDepth;
|
| + int get colorDepth() native "return this.colorDepth;";
|
|
|
| - int height;
|
| + int get height() native "return this.height;";
|
|
|
| - int pixelDepth;
|
| + int get pixelDepth() native "return this.pixelDepth;";
|
|
|
| - int width;
|
| + int get width() native "return this.width;";
|
|
|
| var dartObjectLocalStorage;
|
|
|
|
|