onShortcut monkey-patch#560

microbit-matt-hillsdon wants to merge 2 commits intoRaspberryPiFoundation:mainRaspberryPiFoundation/blockly-keyboard-experimentation:mainfrom

microbit-matt-hillsdon:on-shortcut-patchmicrobit-matt-hillsdon/blockly-keyboard-experimentation:on-shortcut-patchCopy head branch name to clipboard