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
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:
Is that a deliberate choice, or are quality of life enhancements via javascript wanted?
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.
Thanks for your 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: