Module map_gui::tools::ui[][src]

Expand description

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

Structs

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

Display a message dialog.

Prompt for arbitrary text input, then feed the answer to a callback.