Module map_gui::tools::ui

Generic UI tools. Some of this should perhaps be lifted to widgetry.

Structs

• FilePicker
• FileSaver

Enums

• FileSaverContents

Functions

• checkbox_per_mode
• cmp_count
  Less is better
• cmp_dist
  Shorter is better
• cmp_duration
  Shorter is better
• color_for_mode
• percentage_bar

Type Aliases

• PickerOutput 🔒