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