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 🔒