Description

JulienPalard

opened on Dec 21, 2017

Issue body actions

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.

Activity

1. theacodes commented on Jan 2, 2018

   

   theacodes

   on Jan 2, 2018

   Collaborator

   More actions

   i'm not a huge fan of pinning personally.
2. septatrix commented on Feb 11, 2020

   

   septatrix

   on Feb 11, 2020

   Contributor

   More actions

   I personally like the pinning as it gives me the possibility to jump to another section even when im halfway through the page.
   Following a few redirects in the bug report you linked I was able to find this commit python/cpython@8ab24b2. Apparently this fixes the issue. However this is not yet implemented in this theme but we probably could simply apply this patch here.
   Does anyone know why there are apparently two different locations where this theme is maintained anyway?
3. philg314 commented on Aug 1, 2022

   

   philg314

   on Aug 1, 2022

   Contributor

   More actions

   This has been implemented in #91 so this issue can be closed.
4. JelleZijlstra

   closed this as completedon Aug 2, 2022

Issue actions