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