Add keyboard shortcuts to menu dropdowns#2968

Closed

aaronmyatt wants to merge 8 commits intojupyter:masterfrom aaronmyatt:add-keyboard-shortcuts-to-menu-dropdowns

+180-152

Commits on Dec 2, 2019

render keyboard shortcuts from KeyboardManager

aaronmyatt
authored and
Jarrad Whitaker
committed
float menu keybindings to the right

aaronmyatt
authored and
Jarrad Whitaker
committed
Clean up styling

gnestor
authored and
Jarrad Whitaker
committed
Humanize keybindings for display

gnestor
authored and
Jarrad Whitaker
committed
Add some missing menu item/action pairs

gnestor
authored and
Jarrad Whitaker
committed
Move styles to stylesheet

gnestor
authored and
Jarrad Whitaker
committed

Commits on Dec 3, 2019

whitespace autoformat

Jarrad Whitaker
authored and
Jarrad Whitaker
committed
remove click event add/removal in enable/disable_paste

Jarrad Whitaker
authored and
Jarrad Whitaker
committed