08:51 | <freddy> | I think this bit in infra is an example. But I found media resource in https://html.spec.whatwg.org/multipage/media.html#media-resource and fetch uses the term "resource" a lot for something that is supposed to be fetched. But it doesn't seem to be defined or used in an algorithm there. |
15:01 | <smaug> | keithamus: how do I get diff of diffs in github? I mean there is some older version of a pr and new one and I'd like to know what has changed |
15:01 | <smaug> | (oh, and reviewing HTML spec prs is now really hard with darkmode) |
15:09 | <keithamus> | If you scroll through the timeline items it should show you the diff range. If someone has force pushed it’ll give you a link so the commit ranges. There should also be a “view changes” button in the timeline that’s personalised to you, to the last time you viewed the diff |
15:09 | <keithamus> | What makes dark mode difficult? |
19:33 | <Jeffrey Yasskin> | There's a 'mark as read' button in the room's ... menu. It took me so long to find it, after all the threads got spontaneously marked as unread. |
19:35 | <Jeffrey Yasskin> | I believe "resource" comes from https://httpwg.org/specs/rfc9110.html#resources |
20:29 | <TabAtkins> | Ooh, looks like I missed a few colors, that's on me. I'll file a PR later this week. |
20:29 | <TabAtkins> | At least those have bg+text declared, so they're readable in dark mode even if their coloring isn't ideal. |
20:31 | <TabAtkins> | (oh, and reviewing HTML spec prs is now really hard with darkmode) |
20:33 | <annevk> | TabAtkins: ooh, maybe the diff script |
20:34 | <annevk> | I guess you can check on recent PRs |
20:55 | <smaug> | yeah, recent diffs are quite unreadable |
20:55 | <smaug> | TabAtkins: https://whatpr.org/html/9360/41a2b50...7978361/nav-history-apis.html#the-notrestoredreasons-interface as an example |
20:56 | <TabAtkins> | yup, that's awful, thanks for the heads up. I'll drop a PR shortly. |