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