widgetry::tools

Module choose_something

Source

Structsยง

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