Skip to content

Allow escape and ctrl+U to clear the interactive window#10513

Merged
rchiodo merged 4 commits into
masterfrom
rchiodo/escape_terminal
Mar 10, 2020
Merged

Allow escape and ctrl+U to clear the interactive window#10513
rchiodo merged 4 commits into
masterfrom
rchiodo/escape_terminal

Commits

Commits on Mar 10, 2020