Shortcut Ctrl+Shift+R for tab rename conflicts with Bash reverse search
Bug
Shortcut Ctrl+Shift+R for tab rename collides with Bash reverse search
Steps to Reproduce
- open a Bash shell in Black Box
- Ctrl+Shift+R
Expected Outcome
The reverse search from the Bash shell.
Actual Outcome
Tab rename function from Black Box.