widgetry::tools

Module prompt_input

Source

Structsยง

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