search

jupyterlab / jupyterlab-shortcutui

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

Improvements #26

Closed jennalandy closed 6 years ago

jennalandy commented 6 years ago

Run with the next release of jupyterlab, resizable using phosphor widget's onResize method