Index: client/dom/generated/src/frog/Navigator.dart |
diff --git a/client/dom/generated/src/frog/Navigator.dart b/client/dom/generated/src/frog/Navigator.dart |
index af4b47b2b7b6d2f44470a30b4731aca81b742cfb..23f715e24f73ac2800b694168578683edc816473 100644 |
--- a/client/dom/generated/src/frog/Navigator.dart |
+++ b/client/dom/generated/src/frog/Navigator.dart |
@@ -1,35 +1,35 @@ |
class Navigator native "*Navigator" { |
- String appCodeName; |
+ String get appCodeName() native "return this.appCodeName;"; |
- String appName; |
+ String get appName() native "return this.appName;"; |
- String appVersion; |
+ String get appVersion() native "return this.appVersion;"; |
- bool cookieEnabled; |
+ bool get cookieEnabled() native "return this.cookieEnabled;"; |
- Geolocation geolocation; |
+ Geolocation get geolocation() native "return this.geolocation;"; |
- String language; |
+ String get language() native "return this.language;"; |
- DOMMimeTypeArray mimeTypes; |
+ DOMMimeTypeArray get mimeTypes() native "return this.mimeTypes;"; |
- bool onLine; |
+ bool get onLine() native "return this.onLine;"; |
- String platform; |
+ String get platform() native "return this.platform;"; |
- DOMPluginArray plugins; |
+ DOMPluginArray get plugins() native "return this.plugins;"; |
- String product; |
+ String get product() native "return this.product;"; |
- String productSub; |
+ String get productSub() native "return this.productSub;"; |
- String userAgent; |
+ String get userAgent() native "return this.userAgent;"; |
- String vendor; |
+ String get vendor() native "return this.vendor;"; |
- String vendorSub; |
+ String get vendorSub() native "return this.vendorSub;"; |
void getStorageUpdates() native; |