The extension's keyboard shortcuts are now registered to only be active when the terminal is not focused, so Ctrl+R is still passed through the terminal for users who install the extension.
Thanks for the fix! To prevent interactions with other extensions, perhaps it would make sense to do "when": "editorFocus" instead of negating the specific problematic cases?
The extension's keyboard shortcuts are now registered to only be active when the terminal is not focused, so Ctrl+R is still passed through the terminal for users who install the extension.
Fixes #61.