☰
Module url
Structs
Functions
?
Module
widgetry
::
tools
::
url
source
·
[
−
]
Structs
URLManager
Utilities for reflecting the current map and viewport in the URL on the web. No effect on native.
Functions
change_url_free_param
🔒
change_url_param
🔒
must_update_url
🔒
update_url
🔒