widgetry::tools

Module 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 🔒