Skip to content

Update Navigation HotKeys Extension to work with command palette on new versions of jupyter #1378

Merged
juhasch merged 4 commits intoipython-contrib:masterfrom
JSpenced:update-for-jupyter-and-remove-redundant-keys
Dec 29, 2018
Merged

Update Navigation HotKeys Extension to work with command palette on new versions of jupyter #1378
juhasch merged 4 commits intoipython-contrib:masterfrom
JSpenced:update-for-jupyter-and-remove-redundant-keys

Conversation

@JSpenced
Copy link
Copy Markdown
Contributor

@JSpenced JSpenced commented Dec 20, 2018

This updates so it doesn't use Ipython. anymore and the new actions.register and add_shortcut commands.

If you use this in the most recent versions of jupyter, it loads the functions improperly like this:
image

This has been fixed to have a proper group called navigation_hotkeys.

Also, second commit I removed two functions because those functions are already implemented in Jupyter as default bindings. They can be set in your notebook.json file, which I think is better.

#1334 Also solves this problem as this was one of the removed default bindings.

@JSpenced JSpenced changed the title Update for jupyter and remove redundant keys Update Navigation HotKeys Extension to work with command palette on new versions of jupyter Dec 20, 2018
@JSpenced
Copy link
Copy Markdown
Contributor Author

The last commit makes it completely backwards compatible plus adds in so you can toggle some of the settings on and off to fix request #1334 .

@JSpenced JSpenced force-pushed the update-for-jupyter-and-remove-redundant-keys branch from ed713eb to e8c55e9 Compare December 21, 2018 06:46
@JSpenced JSpenced force-pushed the update-for-jupyter-and-remove-redundant-keys branch from e8c55e9 to 51fb117 Compare December 21, 2018 07:33
@juhasch
Copy link
Copy Markdown
Member

juhasch commented Dec 29, 2018

Thank you for your contribution. Looks good to me.

@juhasch juhasch merged commit 4aecd44 into ipython-contrib:master Dec 29, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants