history search if line contains or starts with string#534

ahundt wants to merge 2 commits intoprompt-toolkit:mainprompt-toolkit/python-prompt-toolkit:mainfrom

ahundt:search_containsahundt/python-prompt-toolkit:search_containsCopy head branch name to clipboard