Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
fixed the terminal and find widget key presses #33935
This function was added in this commit, which fixed an interaction with the Esc key when the terminal find widget was visible.
I tried multiple scenarios with the Ctrl+A, Ctrl+V, Esc keys (both in the terminal and editor, with the find widget opened or closed) and I don't think there are any regressions.