Re: [whatwg/webidl] "Quoted terminal symbols" are now monospaced (PR #1216) from Anne van Kesteren on 2022-10-12 (public-webapps-github@w3.org from October 2022)

From: Anne van Kesteren <notifications@github.com>
Date: Wed, 12 Oct 2022 08:46:23 -0700
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/webidl/pull/1216/c1276391084@github.com>

But it's clear what kind of symbol literal is being discussed, no? With `long` vs an identifier whose value is "`long`". Not sure why a specific name is needed given that context.

And also, there is no actual specific name defined for them in the specification and using the style is not great from an accessibility perspective. I supposed based on that we should adjust some earlier bits in this section as well.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1216#issuecomment-1276391084
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1216/c1276391084@github.com>

Received on Wednesday, 12 October 2022 15:46:35 UTC