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