WebKit.GeolocationPosition.set_altitude – webkit2gtk-4.0 Reference Manual
set_altitude
Description:
public
void
set_altitude
(
double
altitude)
Set the
this
altitude.
Parameters:
this
a
GeolocationPosition
altitude
altitude in meters
2022 vala-language.org