jupyterlab / jupyterlab-shortcutui

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

[WIP] Suppress application shortcut handling within editor. #54

Closed afshin closed 1 year ago