[csswg-drafts] Pull Request: [css-highlight-api][css-pseudo] add style attribute to pseudo-elements and Use it in css-highlight-api as a replacement for the style attribute on HighlightRangeGroup

• From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
• Date: Mon, 16 Dec 2019 09:36:13 +0000
• To: public-css-archive@w3.org
• Message-ID: <pull_request.opened-353462434-1576488971-sysbot+gh@w3.org>

frivoal has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== [css-highlight-api][css-pseudo] add style attribute to pseudo-elements and Use it in css-highlight-api as a replacement for the style attribute on HighlightRangeGroup ==
Exploratory Pull Request drafting what I suspect would be a good solution to #4588 (and to #4602 as well).


See https://github.com/w3c/csswg-drafts/pull/4607

Received on Monday, 16 December 2019 09:36:15 UTC