Adds a modal dialog to show a categorised list of Blockly keyboard shortcuts. The dialog is triggered using the '/' key.
At the moment the categories and shortcut names are manually curated, but the assigned shortcuts themselves are taken from the Blockly shortcut registry.
Fixes #723.
This is just #73 rebased onto current main branch, with minor tweaks for style and formatting; thanks to @bmxedd for all of the actual code.
Adds a modal dialog to show a categorised list of Blockly keyboard shortcuts. The dialog is triggered using the '/' key.
At the moment the categories and shortcut names are manually curated, but the assigned shortcuts themselves are taken from the Blockly shortcut registry.
Fixes #723.
This is just #73 rebased onto current
mainbranch, with minor tweaks for style and formatting; thanks to @bmxedd for all of the actual code.