| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 // WARNING: | |
| 6 // This file contains documentation that is merged into the real source. | |
| 7 // Do not make code changes here. | |
| 8 | |
| 9 /// @domName Navigator | |
| 10 interface Navigator { | |
| 11 | |
| 12 /** @domName Navigator.appCodeName */ | |
| 13 final String appCodeName; | |
| 14 | |
| 15 /** @domName Navigator.appName */ | |
| 16 final String appName; | |
| 17 | |
| 18 /** @domName Navigator.appVersion */ | |
| 19 final String appVersion; | |
| 20 | |
| 21 /** @domName Navigator.cookieEnabled */ | |
| 22 final bool cookieEnabled; | |
| 23 | |
| 24 /** @domName Navigator.geolocation */ | |
| 25 final Geolocation geolocation; | |
| 26 | |
| 27 /** @domName Navigator.language */ | |
| 28 final String language; | |
| 29 | |
| 30 /** @domName Navigator.mimeTypes */ | |
| 31 final DOMMimeTypeArray mimeTypes; | |
| 32 | |
| 33 /** @domName Navigator.onLine */ | |
| 34 final bool onLine; | |
| 35 | |
| 36 /** @domName Navigator.platform */ | |
| 37 final String platform; | |
| 38 | |
| 39 /** @domName Navigator.plugins */ | |
| 40 final DOMPluginArray plugins; | |
| 41 | |
| 42 /** @domName Navigator.product */ | |
| 43 final String product; | |
| 44 | |
| 45 /** @domName Navigator.productSub */ | |
| 46 final String productSub; | |
| 47 | |
| 48 /** @domName Navigator.userAgent */ | |
| 49 final String userAgent; | |
| 50 | |
| 51 /** @domName Navigator.vendor */ | |
| 52 final String vendor; | |
| 53 | |
| 54 /** @domName Navigator.vendorSub */ | |
| 55 final String vendorSub; | |
| 56 | |
| 57 /** @domName Navigator.webkitBattery */ | |
| 58 final BatteryManager webkitBattery; | |
| 59 | |
| 60 /** @domName Navigator.webkitPointer */ | |
| 61 final PointerLock webkitPointer; | |
| 62 | |
| 63 /** @domName Navigator.getStorageUpdates */ | |
| 64 void getStorageUpdates(); | |
| 65 | |
| 66 /** @domName Navigator.javaEnabled */ | |
| 67 bool javaEnabled(); | |
| 68 | |
| 69 /** @domName Navigator.registerProtocolHandler */ | |
| 70 void registerProtocolHandler(String scheme, String url, String title); | |
| 71 | |
| 72 /** @domName Navigator.webkitGetUserMedia */ | |
| 73 void webkitGetUserMedia(Map options, NavigatorUserMediaSuccessCallback success
Callback, [NavigatorUserMediaErrorCallback errorCallback]); | |
| 74 } | |
| OLD | NEW |