Closed wonsjb closed 5 years ago
Made it compile, ran prettifier, and fixed access to the shortcut plugin. The ui plugin now show all shortcuts, and can change / reset to default shortcuts.
There are still some bugs, and a cleanup is still required.
Fixes https://github.com/jupyterlab/jupyterlab-shortcutui/issues/44
afshin
commented
5 years ago
Made it compile, ran prettifier, and fixed access to the shortcut plugin. The ui plugin now show all shortcuts, and can change / reset to default shortcuts.
There are still some bugs, and a cleanup is still required.