Skip to content

Conversation

choldgraf
Copy link
Collaborator

Decided to give it a whirl myself and it was surprisingly easy!

This removes our custom button-pressing code, and replaces it with Sphinx's native page-flipping option

@jorisvandenbossche jorisvandenbossche changed the title using sphinx key navigation Using key navigation from sphinx instead of custom javascript Mar 28, 2020
@choldgraf
Copy link
Collaborator Author

This is still GTG from my perspective 👍

@choldgraf
Copy link
Collaborator Author

choldgraf commented Apr 15, 2020

Shall I close this? It seems not very high priority and I don't wanna keep these PRs dangling indefinitely

@jorisvandenbossche
Copy link
Member

If you have time to fix the merge conflict, it can certainly be added (I actually just forgot to merge it after fixing merge conflicts the last time ...)

@choldgraf
Copy link
Collaborator Author

OK I think this should now be working, wanna double-check @jorisvandenbossche ?

@jorisvandenbossche jorisvandenbossche merged commit f1e8cc2 into pydata:master Apr 21, 2020
@jorisvandenbossche
Copy link
Member

Thanks for the update!

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