Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Make keyboard shortcuts declarative #1234
look in config for
Done after feedback at JupyterDays.
Command Palette hover of Shortcut area show the action name as a tooltip so that users know what to bind.
Cleanup Js here and there, and replace
Is this API compatible?
Sent from my iPhone
More especially: it is purely an addition of a config section. It maps what user were doing in their
There is 0 API deletion, 0 API addition, 0 API modification. Just the provisional (added in the docs) addition of a config section in the docs.
So I'm not sure what your question of API compatibility means.