jupyterlab / jupyterlab-shortcutui

A JupyterLab extension for managing keyboard shortcuts
BSD 3-Clause "New" or "Revised" License
54 stars 15 forks source link

Offer a more minimal view, filter by currently available shortcuts #33

Closed bollwyvl closed 6 years ago

bollwyvl commented 6 years ago

Hi folks! Shame on me, I didn't find this when I started up this extension. It's more like the inspector in that it can scale down to about a third of the screen, and listens for the keybindings to change and shows the list. Since the number of possible commands is large, this really helps cut down what you see at a given time:

Of course, it lies or is inaccurate (e.g. still shows command mode shortcuts in edit), has duplicates, is kinda ugly. But I use lab every day, and still learned some new commands from it.

Some other (variously poor) ideas I had were: