Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docsite: Fix various minor annoyances #354

Merged
merged 4 commits into from
May 20, 2024
Merged

docsite: Fix various minor annoyances #354

merged 4 commits into from
May 20, 2024

Conversation

juliaogris
Copy link
Member

  • Make anchor navigation via back/forwards/reload work
  • Remove firebase' cleanUrl settings because it's opaque and caused other issues
  • Fix an issue in preventReloadOnSelfLink function

Fix broken anchor navigation for reloads and using back and forwards browser
buttons. I've tried to bisect this and all I could find was that anchor
navigation seems to be broken the moment you put your main content inside a
css grid or flexbox display container.
Remove cleanUruls again, firstly it causes a 301 redirect when trying to
access the .html pages which is where all the links point which is also
useful for local or basic fileserve deployment. Secondly it breaks anchor
navigation within the site and causes a brief flicker of the sidebar is the
redirected site is loaded from the firebase server again:
when loading /spec an anchor link to /spec.html#map causes a full page reload.

Lastly, Evy is about learning and understanding all things code. Making use of
some firebase setting to avoid typing ".html" makes things less clear.
Fix preventReloadOnSelfLink function, which forgot to strip the hash if the
initial load included it.
Copy link
Contributor

@camh- camh- left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

📗

Fix anchor margin on page reload where in Chrome the heading had no padding
towards the top.
Copy link
Contributor

@camh- camh- left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

📗 📗 📗 📗

@juliaogris juliaogris merged commit 2870ad1 into main May 20, 2024
3 checks passed
@juliaogris juliaogris deleted the reload-fix branch May 20, 2024 05:31
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.

None yet

2 participants