Add `choice` shortcut.#2005

jonathanslenders merged 1 commit intomainprompt-toolkit/python-prompt-toolkit:mainfrom

input-selectionprompt-toolkit/python-prompt-toolkit:input-selectionCopy head branch name to clipboard