Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upShould the menu be pinned like it was in 2.7? #8
Comments
|
i'm not a huge fan of pinning personally. |
|
I personally like the pinning as it gives me the possibility to jump to another section even when im halfway through the page. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
While working on the doc with @FGuillet and @BrunoMaugery we spotted some javascript updating the position of the menu, like to "pin" it on the screen while scrolling, like 2.7 is still doing. We though it was just broken, but do we want to keep this feature? It looks like it causes jiterring problems in 2.7 https://bugs.python.org/issue32393.