widgetry::tools

Module popup

Source

Structsยง

PopupMsg
Display a message dialog.