| Index: client/html/generated/html/frog/Navigator.dart
|
| diff --git a/client/html/generated/html/frog/Navigator.dart b/client/html/generated/html/frog/Navigator.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..756b94053883f929ccb5993e6fdc53af1035eabb
|
| --- /dev/null
|
| +++ b/client/html/generated/html/frog/Navigator.dart
|
| @@ -0,0 +1,41 @@
|
| +
|
| +class _NavigatorImpl implements Navigator native "*Navigator" {
|
| +
|
| + final String appCodeName;
|
| +
|
| + final String appName;
|
| +
|
| + final String appVersion;
|
| +
|
| + final bool cookieEnabled;
|
| +
|
| + final _GeolocationImpl geolocation;
|
| +
|
| + final String language;
|
| +
|
| + final _DOMMimeTypeArrayImpl mimeTypes;
|
| +
|
| + final bool onLine;
|
| +
|
| + final String platform;
|
| +
|
| + final _DOMPluginArrayImpl 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;
|
| +}
|
|
|