jupyterlab / jupyterlab-shortcutui

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

Fixed async request bugs when resetting all shortcuts and deleting shortcuts #22

Closed NoahStapp closed 6 years ago