-
Notifications
You must be signed in to change notification settings - Fork 143
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
Documentation change title based on current uri hash? #218
Comments
It definitely used to be the case, that said, I don't see anything wrong with something that gracefully degrades. I'll keep this in mind as we plan changes to the language reference. Also keeping this issue open as a reminder. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The documentation always uses
Documentation - The Zig Programming Language
as the title.Personally I found that unfortunate, because I regularly have a lot of open tabs and all of them having the same name doesn't help me in finding the right one to switch to.
Looking at the source code of the documentation it seems to avoid any usage of javascript.
Is that a deliberate choice, or are quality of life enhancements via javascript wanted?
Currently I am using a simple userscript (via tampermonkey extension) that rewrites the title:
This issue is mostly a suggestion to add something similar to the generated html file.
If something like this is not wanted I will continue to use the userscript.
I just thought I should mention it, in case others would prefer a changing title too.
The text was updated successfully, but these errors were encountered: