toggle menu
gtk-kn
native
switch theme
search in API
webkit
/
org.gtkkn.bindings.webkit
/
GeolocationManager
/
updatePosition
update
Position
fun
updatePosition
(
position
:
GeolocationPosition
)
Notify @manager that position has been updated to @position.
Since
2.26
Parameters
position
a #WebKitGeolocationPosition