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
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. :-)
The text was updated successfully, but these errors were encountered:
If you go here:
https://pep-previews--3649.org.readthedocs.build/pep-0742/#type-narrowing-behavior
You are taken to the desired page and anchor, but a banner is displayed with the text
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. :-)
The text was updated successfully, but these errors were encountered: