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§