| Index: client/html/generated/html/dartium/Geolocation.dart
|
| diff --git a/client/html/generated/html/dartium/Geolocation.dart b/client/html/generated/html/dartium/Geolocation.dart
|
| deleted file mode 100644
|
| index 4b97dac680c16b11ab73bec0a5841712018ff3a0..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/Geolocation.dart
|
| +++ /dev/null
|
| @@ -1,27 +0,0 @@
|
| -
|
| -class _GeolocationImpl extends _DOMTypeBase implements Geolocation {
|
| - _GeolocationImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - void clearWatch(int watchId) {
|
| - _ptr.clearWatch(_unwrap(watchId));
|
| - return;
|
| - }
|
| -
|
| - void getCurrentPosition(PositionCallback successCallback, [PositionErrorCallback errorCallback = null]) {
|
| - if (errorCallback === null) {
|
| - _ptr.getCurrentPosition(_unwrap(successCallback));
|
| - return;
|
| - } else {
|
| - _ptr.getCurrentPosition(_unwrap(successCallback), _unwrap(errorCallback));
|
| - return;
|
| - }
|
| - }
|
| -
|
| - int watchPosition(PositionCallback successCallback, [PositionErrorCallback errorCallback = null]) {
|
| - if (errorCallback === null) {
|
| - return _wrap(_ptr.watchPosition(_unwrap(successCallback)));
|
| - } else {
|
| - return _wrap(_ptr.watchPosition(_unwrap(successCallback), _unwrap(errorCallback)));
|
| - }
|
| - }
|
| -}
|
|
|