Module map_gui::tools::ui

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

Structs

ChooseSomething	Choose something from a menu, then feed the answer to a callback.
PopupMsg	Display a message dialog.
PromptInput	Prompt for arbitrary text input, then feed the answer to a callback.