| Index: client/dom/generated/src/frog/WorkerNavigator.dart
|
| diff --git a/client/dom/generated/src/frog/WorkerNavigator.dart b/client/dom/generated/src/frog/WorkerNavigator.dart
|
| index 573de7c5e6a8a137c44856749469ed8f3dc6d6ed..d38c80e97b60b4ca6a2d2340b7dfdf575c4d6917 100644
|
| --- a/client/dom/generated/src/frog/WorkerNavigator.dart
|
| +++ b/client/dom/generated/src/frog/WorkerNavigator.dart
|
| @@ -1,13 +1,13 @@
|
|
|
| class _WorkerNavigatorJs extends _DOMTypeJs implements WorkerNavigator native "*WorkerNavigator" {
|
|
|
| - String get appName() native "return this.appName;";
|
| + final String appName;
|
|
|
| - String get appVersion() native "return this.appVersion;";
|
| + final String appVersion;
|
|
|
| - bool get onLine() native "return this.onLine;";
|
| + final bool onLine;
|
|
|
| - String get platform() native "return this.platform;";
|
| + final String platform;
|
|
|
| - String get userAgent() native "return this.userAgent;";
|
| + final String userAgent;
|
| }
|
|
|