jupyterlab / jupyterlab-shortcutui

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

Improvements #24

Closed gnestor closed 6 years ago

gnestor commented 6 years ago
gnestor commented 6 years ago

My shortcut editor currently looks like:

image

That's not right, is it?