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.