| Index: client/dom/generated/src/interface/Navigator.dart
|
| diff --git a/client/dom/generated/src/interface/Navigator.dart b/client/dom/generated/src/interface/Navigator.dart
|
| index df7a3c2bfe17ab1b403118d8d3260cf5a787a54c..ae21ab914b4686b02689aaf4642742c2181eafbf 100644
|
| --- a/client/dom/generated/src/interface/Navigator.dart
|
| +++ b/client/dom/generated/src/interface/Navigator.dart
|
| @@ -6,35 +6,35 @@
|
|
|
| interface Navigator {
|
|
|
| - String get appCodeName();
|
| + final String appCodeName;
|
|
|
| - String get appName();
|
| + final String appName;
|
|
|
| - String get appVersion();
|
| + final String appVersion;
|
|
|
| - bool get cookieEnabled();
|
| + final bool cookieEnabled;
|
|
|
| - Geolocation get geolocation();
|
| + final Geolocation geolocation;
|
|
|
| - String get language();
|
| + final String language;
|
|
|
| - DOMMimeTypeArray get mimeTypes();
|
| + final DOMMimeTypeArray mimeTypes;
|
|
|
| - bool get onLine();
|
| + final bool onLine;
|
|
|
| - String get platform();
|
| + final String platform;
|
|
|
| - DOMPluginArray get plugins();
|
| + final DOMPluginArray plugins;
|
|
|
| - String get product();
|
| + final String product;
|
|
|
| - String get productSub();
|
| + final String productSub;
|
|
|
| - String get userAgent();
|
| + final String userAgent;
|
|
|
| - String get vendor();
|
| + final String vendor;
|
|
|
| - String get vendorSub();
|
| + final String vendorSub;
|
|
|
| void getStorageUpdates();
|
|
|
|
|