Module map_gui::tools::url [−][src]
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 |