Open SimonLSchlee opened 1 year ago
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.