Closed microbit-robert closed 5 months ago
Keyboard shortcut handlers are currently registered in the same components that host the UI for triggering the same action.
The Xterm keyboard shortcuts are already scoped to the serial terminals and it looks like more effort than it's worth to use this new hook for a custom copy handler and escape hatch.
Preview build will be at https://review-python-editor-v3.microbit.org/keyboard-shortcuts/