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 b89e42794ed5a74a00e8f9587b877758e899cfde..ade42a8e9274ba2b011ec97ff96ef377114331e5 100644 |
--- a/client/dom/generated/src/frog/WorkerNavigator.dart |
+++ b/client/dom/generated/src/frog/WorkerNavigator.dart |
@@ -1,15 +1,15 @@ |
class WorkerNavigator native "*WorkerNavigator" { |
- String appName; |
+ String get appName() native "return this.appName;"; |
- String appVersion; |
+ String get appVersion() native "return this.appVersion;"; |
- bool onLine; |
+ bool get onLine() native "return this.onLine;"; |
- String platform; |
+ String get platform() native "return this.platform;"; |
- String userAgent; |
+ String get userAgent() native "return this.userAgent;"; |
var dartObjectLocalStorage; |