[csswg-drafts] [css-highlight-api] CSS.highlights: map vs set? (#4590) from Florian Rivoal via GitHub on 2019-12-13 (public-css-archive@w3.org from December 2019)

From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
Date: Fri, 13 Dec 2019 06:16:15 +0000
To: public-css-archive@w3.org
Message-ID: <issues.opened-537368954-1576217774-sysbot+gh@w3.org>

frivoal has just created a new issue for https://github.com/w3c/csswg-drafts:

== [css-highlight-api] CSS.highlights: map vs set? ==
Should we throw some kind of exception if the same highlight range group is registered twice (or more) under different names? If not, isn’t it an isssue that the several custom highlights that share this highlight range group will not only share the same ranges, but also the same priority and style attribute? This could be solved by making the name an attribute of the highlight range group as well, and then turning CSS.highlights into a setlike of HighlightRangeGroup instead of a maplike of String=>HighlightRangeGroup.

If we did that, we could also probably rename HighlightRangeGroup into Highlight.

Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4590 using your GitHub account

Received on Friday, 13 December 2019 06:16:17 UTC