Module widgetry::tools

Modules

• choose_something 🔒
• colors 🔒
• lasso 🔒
• load 🔒
  Loading large resources requires different strategies on native and web. Both cases are wrapped up as a State that runs a callback when done.
• popup 🔒
• prompt_input 🔒
• screenshot 🔒
• url 🔒
• warper 🔒

Structs

• Cached
  Store a cached key/value pair, only recalculating when the key changes.
• ChooseSomething
  Choose something from a menu, then feed the answer to a callback.
• ColorLegend
• ColorScale
• DivergingScale
• FileLoader
  Loads a JSON, bincoded, or raw file, then deserializes it
• FutureLoader
• Lasso
  Draw freehand polygons
• PolyLineLasso
  Draw freehand PolyLine
• PopupMsg
  Display a message dialog.
• PromptInput
  Prompt for arbitrary text input, then feed the answer to a callback.
• RawBytes
  Use this with FileLoader to just read raw bytes without any deserialization.
• URLManager
  Utilities for reflecting the current map and viewport in the URL on the web. No effect on native.

Functions

• get_clipboard
• grey_out_map 🔒
• open_browser
• set_clipboard
  Only works on native