widgetry::tools

Module choose_something

Source

Structsยง

ChooseSomething
Choose something from a menu, then feed the answer to a callback.