jupyterlab / jupyterlab-shortcutui

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

Fixing toolbar shaddow #32

Closed jennalandy closed 6 years ago

jasongrout commented 6 years ago

Have you thought about embedding the widget into a MainAreaWidget, which provides a consistent toolbar and activation handling?