search

jupyterlab / jupyterlab-shortcutui

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

Update styling, animations, shortcut conflict messages #13

Closed NoahStapp closed 6 years ago