You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
"created from a pull request" banner loses position when closed #3657
That banner is helpful, but it is also in the way, so there's a little 'x' in the top right corner to click it away. However, when I click that 'x', the URL is somehow rewritten so the anchor is lost (leaving https://pep-previews--3649.org.readthedocs.build/pep-0742/#), which is not helpful.
I'm assuming this is a simple html/css/js error in the template for the banner?
(As a workaround, you can hit "Back" to go to the anchor, but that's unintuitive, and it definitely smells like a bug. :-)
Activity
hugovk commentedon Feb 9, 2024
I've reported this at RTD at readthedocs/addons#246
hugovk commentedon Feb 20, 2024
This has now been fixed and deployed by the Read the Docs team. 🚀