[3.13] gh-119034, REPL: Change page up/down keys to search in history (GH-123607) (GH-123773)

Change <page up> and <page down> keys of the Python REPL to history
search forward/backward.

(cherry picked from commit 8311b11800)

Co-authored-by: Victor Stinner <vstinner@python.org>
Co-authored-by: Łukasz Langa <lukasz@langa.pl>
This commit is contained in:
Miss Islington (bot) 2024-09-06 14:04:11 +02:00 committed by GitHub
parent b221c5bba1
commit c787a5161c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 113 additions and 4 deletions

View file

@ -163,7 +163,8 @@ def run_multiline_interactive_console(
r.isearch_direction = ''
r.console.forgetinput()
r.pop_input_trans()
r.dirty = True
r.pos = len(r.get_unicode())
r.dirty = True
r.refresh()
r.in_bracketed_paste = False
console.write("\nKeyboardInterrupt\n")