Skip to content

repl: Move cursor to the end of line on select_history (up/down)#951

Merged
mfussenegger merged 2 commits intomfussenegger:masterfrom
wookayin:history-cursor
May 17, 2023
Merged

repl: Move cursor to the end of line on select_history (up/down)#951
mfussenegger merged 2 commits intomfussenegger:masterfrom
wookayin:history-cursor

Commits

Commits on May 15, 2023

Commits on May 17, 2023