Closed jonathanslenders closed 2 weeks ago
See also: https://github.com/prompt-toolkit/python-prompt-toolkit/pull/1877/
See also: https://github.com/prompt-toolkit/python-prompt-toolkit/pull/1877/