Module map_gui::tools::ui [−][src]
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. |