| 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
|
| deleted file mode 100644
|
| index 3486323888b0831dbecd0538ea41c07910748a03..0000000000000000000000000000000000000000
|
| --- a/client/dom/generated/src/frog/Navigator.dart
|
| +++ /dev/null
|
| @@ -1,41 +0,0 @@
|
| -
|
| -class _NavigatorJs extends _DOMTypeJs implements Navigator native "*Navigator" {
|
| -
|
| - final String appCodeName;
|
| -
|
| - final String appName;
|
| -
|
| - final String appVersion;
|
| -
|
| - final bool cookieEnabled;
|
| -
|
| - final _GeolocationJs geolocation;
|
| -
|
| - final String language;
|
| -
|
| - final _DOMMimeTypeArrayJs mimeTypes;
|
| -
|
| - final bool onLine;
|
| -
|
| - final String platform;
|
| -
|
| - final _DOMPluginArrayJs plugins;
|
| -
|
| - final String product;
|
| -
|
| - final String productSub;
|
| -
|
| - final String userAgent;
|
| -
|
| - final String vendor;
|
| -
|
| - final String vendorSub;
|
| -
|
| - void getStorageUpdates() native;
|
| -
|
| - bool javaEnabled() native;
|
| -
|
| - void registerProtocolHandler(String scheme, String url, String title) native;
|
| -
|
| - void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback = null]) native;
|
| -}
|
|
|