Module map_gui::tools::ui

source · [−]
Expand description

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

Structs

FilePicker

Functions

checkbox_per_mode
cmp_count

Less is better

cmp_dist

Shorter is better

cmp_duration

Shorter is better

color_for_mode
percentage_bar