Widgets
Picker
Dropdown selector for a set of options.
Gova has two picker variants: a simple string picker and a generic typed picker.
Picker
The selected argument is the initial index. OnPickerChange fires with
the newly selected string when the user changes selection.
PickerOf
PickerOf is a typed wrapper that binds to a state of any comparable type.
It renders the options with label(o) and writes the selected option back
to state.
If the current state value is not in options, the first option is selected
and written back.