Module widgetry::tools::url

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