Closed krassowski closed 9 months ago
The PR https://github.com/jupyterlab-contrib/jupyterlab-vim/pull/100 which fixed #73 broke the filtering in JupyterLab shortcuts UI (https://github.com/jupyterlab/jupyterlab/issues/15687). While this was addressed in JupyterLab (https://github.com/jupyterlab/jupyterlab/pull/15695), the shortcut added by vim extension is currently not labelled as such and shows up at the top of the list:
vim
This PR adds a dummy command for this action, so that it is better documented for the user and in the code, also fixing the problem with missing category (and for users of an older JupyterLab version):
Also fixes a typo in another command name.
:point_left: Launch a Binder on branch krassowski/jupyterlab-vim/fix-empty-command
The PR https://github.com/jupyterlab-contrib/jupyterlab-vim/pull/100 which fixed #73 broke the filtering in JupyterLab shortcuts UI (https://github.com/jupyterlab/jupyterlab/issues/15687). While this was addressed in JupyterLab (https://github.com/jupyterlab/jupyterlab/pull/15695), the shortcut added by
vim
extension is currently not labelled as such and shows up at the top of the list:This PR adds a dummy command for this action, so that it is better documented for the user and in the code, also fixing the problem with missing category (and for users of an older JupyterLab version):
Also fixes a typo in another command name.