| 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 f3f7c1fd7669561785b53ba8232478e65b9c9fc7..fb3dd4bc3ad03a798ca933f206552efc49eb60dd 100644
|
| --- a/client/dom/generated/src/frog/Navigator.dart
|
| +++ b/client/dom/generated/src/frog/Navigator.dart
|
| @@ -9,6 +9,8 @@ class Navigator native "*Navigator" {
|
|
|
| bool cookieEnabled;
|
|
|
| + Geolocation geolocation;
|
| +
|
| String language;
|
|
|
| DOMMimeTypeArray mimeTypes;
|
| @@ -33,6 +35,10 @@ class Navigator native "*Navigator" {
|
|
|
| bool javaEnabled() native;
|
|
|
| + void registerProtocolHandler(String scheme, String url, String title) native;
|
| +
|
| + void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback = null]) native;
|
| +
|
| var dartObjectLocalStorage;
|
|
|
| String get typeName() native;
|
|
|