jupyterlab / jupyterlab-shortcutui

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

New Style and Improvements #27

Closed jennalandy closed 6 years ago

jennalandy commented 6 years ago

Now using phosphor KeycodeLayout and a div rather than input field to correctly capture keybindings, new style for altering shortcuts, repositioning upper-left corner information, and a new style for error rows.