Re: [whatwg/webidl] "Quoted terminal symbols" are now monospaced (PR #1216)

@annevk commented on this pull request.



> +The IDL syntax is case sensitive, both for the monospaced terminal symbols
 used in the grammar and the values used for

Ah I misunderstood. I thought you meant the paragraphs even earlier that also talk about fonts.

Perhaps here we can simply reuse the line from above "other terminal symbols from the grammar"?

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

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