WebKitGeolocationManager provides API to get the geographical position of the user.
Once a #WebKitGeolocationPermissionRequest is allowed, when WebKit needs to know the
user location #WebKitGeolocationManager::start signal is emitted. If the signal is handled
and returns true, the application is responsible for providing the position every time it's
updated by calling webkit.geolocation_manager.GeolocationManager.updatePosition. The signal #WebKitGeolocationManager::stop
will be emitted when location updates are no longer needed.
Geolocation manager.
WebKitGeolocationManager provides API to get the geographical position of the user. Once a #WebKitGeolocationPermissionRequest is allowed, when WebKit needs to know the user location #WebKitGeolocationManager::start signal is emitted. If the signal is handled and returns true, the application is responsible for providing the position every time it's updated by calling webkit.geolocation_manager.GeolocationManager.updatePosition. The signal #WebKitGeolocationManager::stop will be emitted when location updates are no longer needed.