Module 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 🔒