-
Notifications
You must be signed in to change notification settings - Fork 2.7k
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
Meta: changes to support a revamped developer's edition #2747
Conversation
I think we should. That will get more feedback and and more ideas more early |
I raised #2565 for that—though it’s not intended to necessarily be at all like the old version. I don’t recall what that old search feature did/does, but as far as I know it only worked for searching within the current page? If so I think that’s of pretty limited utility to users. Whatever search feature we might end up adding, a think a requirement needs to be that it is multipage-enabled, in that is allows searching for a string across all documents in the multipage output, and that it also allows searching for exact matches (by quoting the search term) as well as based on a list of terms (non-exact matching).
I raised #2751 for that. It does the syntax highlighting dynamically in the client side. Certainly it would seem better to instead implement it in the build—in the wattsi code—but I don’t forsee any of us implementing it there any time soon, nor can I imagine any other contributors stepping forward any time soon to do it. Further comments about syntax highlightingThat #2751 is essentially just relying completely on https://highlightjs.org/. But that makes it uncomplicated as far as maintenance, while getting users what they want.One thing that https://highlightjs.org/ doesn’t handle yet is WebIDL. But I think we could get it added with a fairly low level of effort, and give something back by contributing it upstream. Alternatively (and preferably) we would implement https://www.w3.org/Bugs/Public/show_bug.cgi?id=26343 (“Wattsi: IDL parser in pipeline”) but again I don’t see any of us getting around to doing that any time soon, nor getting any contributors interested/able to work on it. |
That reminds me of something not closely related but maybe worth mentioning here; which is: we have a deficiency in the wattsi multipage-generating code in that it outputs the same |
The old version also has inlined references. See e.g. |
IMO...
No.
No, we should apply pressure for non-Firefox browsers to support SVG favicons. ^_^
I think the logo should fit with the WHATWG brand. WHATWG logo in a different color is OK.
Yes. |
No, it was more along the lines of what I've envisioned in #2565 (comment) ("my alternate approach"). Try it out at https://developers.whatwg.org/. That's still the direction I think would be best for #2565, instead of full-text search with an overlay...
Yeah, I somehow forgot that. I think it's quite nice, although it needs Wattsi support. Let me reorganize the OP to mark things that need Wattsi support. Then maybe people could help with them? |
New version with some fixes at https://ns-eukkeoznoe.now.sh/dev/ in theory although I have to run out the door and haven't tested it yet. |
So what exactly is that searching? Just the section titles/headings?
Why? It’s not clear to me why readers would not want full-text search but would want it limited to something less than full text, and not clear to me why we would to limit them to something less. I agree that some way to quickly navigate to specific sections based on their names is a useful feature, but to me that is something quite different than a search feature. It’s more a case of providing/exposing some kind of persistent outline/table-of-contents that users can access quickly. |
Yes, section headers. We could additionally expand it to include definitions. In my opinion for full text search readers can use a search engine. We don't need to create one for them. I'd rather provide something based on the more structured data we have in hand by virtue of deep knowledge of the document structure. For another example, see the ECMAScript spec's built-in search feature. |
Of course they can. Or they can just use the single-page spec. They can do a lot of things without us adding features to try to make it easier for them. Clearly none of this additional stuff for multipage is essential. We could choose to avoid the cost and time and maintenance of adding any special user-convenience features for the multipage spec at all. For example, the dfn-popup feature worked fine in the single-page spec and we could have just said users wanting to use it against the full spec should just use the single-page spec. Similarly we can choose to just conclude we don’t want to provide full-text search in multipage. But it seems pretty clear to me that a lot of users would appreciate having the choice of convenience at point of use of full-text search across the entire multipage spec, without us requiring them to load the full single-page spec to get that, or to go somewhere else to get that.
It’s not an either-or. I strongly agree that providing something based on data we have in hand by virtue of deep knowledge of the document structure would be great. But it doesn’t need to come at the exclusion of a convenient way to do full-text search in multipage at point of use. |
As far as third-party search engines go, another significant known problem for users we have there is the fact that results from html.spec.whatwg.org typically don’t show up high in the search results—sometimes not even at all in the first page of results. Further thoughts on making users rely on third-party search, and user scenarios on mobileWhat I mean is, if a user does a Google search for some term we know is defined in the HTML spec, in many or most cases what they’re likely to get back first in the results are hits to a copy of the spec somewhere at w3.org (and probably not even the most up-to-date w3.org copy), or hits from w3schools.com. The html.spec.whatwg.org hits will be buried further down, if they’re there at all.Of course if these are users who’ve already been reading the html.spec.whatwg.org spec and are just going over to the search engine to find something specific in it, then they may know they just do But all that seems to me like us making users jump through a lot of hoops just be able to do full-text search of the spec—making them open a separate tab and do And while the might not seem like such a big extra step for users of desktop browsers, consider the case of users reading the spec on mobile and how much more inconvenient the scenario above is. Also I realize that on desktop, users can do something html.spec.whatwg.org-specific using an Anyway from the above I hope it’s clear why I think there’s significant value to users in having full-text search using an overlay. Doing it with an overlay lets them initiate the search without leaving the spec they have open—and lets them if needed just drop right back to what they were reading, if the search turns out to not return any hits they want to browse to.
Well my initial implementation at #2565 was an attempt to avoid creating a new one for them, and to instead embed a Google search at point of use with the significant convenience of an overlay. But the conclusion there seemed to be that we can’t use a third-party search service. So I’ve instead provided the same functionality using a self-hosted search service—and in the process have come to realize that’s better for us than relying on third-party service anyway, because it gives us ourselves control over the formatting/look-and-feel and content of the search results (whereas we have no control at all over that with third-party service). |
Sorry for replying here. Let's move this over to #2565. |
f94e0f6
to
9c89bd8
Compare
Sent some Wattsi PRs that make the stylesheet cleaner; see latest commit and Wattsi PR list. Produced https://output-wtmypyildq.now.sh/dev/ from that. |
What else should we work on before deploying this? To me the biggest outstanding question is whether we should make the URL https://html.spec.whatwg.org/dev/ or https://developers.whatwg.org/; if we decided on that I would be comfortable deploying right now, despite the loss of functionality. But if I got a signal about other things that were important, most of them are not that hard. I guess also doing a pass through the output looking for out of place things, although the community can help with that. |
This introduces a developers stylesheet derived from https://github.com/benschwarz/developers.whatwg.org/tree/97ff943a8f5b8fe38f78e224b4b44b472ccefb57/sass, including the web font. It also updates the source document slightly to make the generated output work better for the dev edition.
9c89bd8
to
35781fc
Compare
source
Outdated
|
||
<p>Each <code>WorkerGlobalScope</code> object also has a <dfn | ||
data-x="dom-WorkerGlobalScope-closing" data-export="" data-dfn-type="dfn" | ||
data-dfn-for="WorkerGlobalScope">closing</dfn> flag, which must initially be false, but which can | ||
get set to true by the algorithms in the processing model section below.</p> | ||
get set to true by <span w-nodev>the algorithms in the processing model section below</span><span |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"by" should be inside w-nodev
@@ -28,6 +28,7 @@ | |||
<title>HTML Standard</title> | |||
<meta name="theme-color" content="#3c790a"> | |||
<link w-nodev rel="stylesheet" href="https://resources.whatwg.org/standard.css"> | |||
<link w-nohtml rel="stylesheet" href="https://fonts.googleapis.com/css?family=Droid+Serif:regular,italic,bold"> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we want to inline this and host the fonts ourselves? I realize this uses different formats depending on UA, but woff2 is well supported (and woff has wider support still).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't have very strong opinions on this, but I personally lean towards hosting on whatwg.org, because I have trouble accessing *.googleapis.com. Google APIs are blocked in mainland China.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Great point; let's pull these out.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Generally looking good, I think we can ship and then iterate.
@zcorpan @sideshowbarker thoughts on the developers.whatwg.org vs. /dev issue? Also need review on whatwg/html-build#112 (very quick) |
I kinda like /dev/ better, since that makes it applicable to other specs as well, if we want to do that. |
Agreed. I’d think anybody looking at the URL developers.whatwg.org who didn’t already know would assume to find something more general there, not a version of the HTML spec |
This introduces a developers stylesheet derived from
https://github.com/benschwarz/developers.whatwg.org/tree/97ff943a8f5b8fe38f78e224b4b44b472ccefb57/sass,
including the web font. It also updates the source document slightly to
make the generated output work better for the dev edition.
Putting this up for review. Notable missing functionality from the old dev edition is noted in "TODO: things to possibly restore?". (It's in the stylesheet because I deleted the related CSS.) Also see below.
There are several TODOs in the stylesheet where we hide things via CSS where ideally Wattsi would omit them. Also it would help if Wattsi gave the index page a special class we could use. In general, peruse the TODOs.
Currently this is modeled as being hosted at https://html.spec.whatwg.org/dev, because that was easy, but we can also host it at https://developers.whatwg.org/ with a bit more work.
Relies on a small forthcoming html-build PR.
Live preview at https://ns-mumwzonpfy.now.sh/dev/ . Compare to https://developers.whatwg.org/ .
In general I'm wondering if we should try to stand something like this up sooner, perhaps as a "beta" we invite people to test, instead of getting it fully back to feature parity with the old one.
Here's a list of potential desired features. Those that require Wattsi support are marked with [W].
Appcache for old browsers? (like the old version)Favicon that works in non-Firefox browsers?More suggestions for desired features welcome. Thoughts on which of those we should fix before releasing welcome.
Bugs noticed:
self-link styling works badly with h2sfixedfingerprint styling needs to be portedfixed; fingerprinting should not be in dev edition at all<title>
is just "HTML Standard" still Make <title> element content use split heading content wattsi#50index TOC styling doesn't work for large numbers like "15.11"; needs a bit more spacefixed