W3C home > Mailing lists > Public > public-css-archive@w3.org > December 2019

Re: [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 Highlight (#4607)

From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
Date: Fri, 27 Dec 2019 10:07:54 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-569237659-1577441272-sysbot+gh@w3.org>
Closed #4588 and #4602 differently. See https://github.com/w3c/csswg-drafts/commit/78f022fa4ace03ddb4ad4544f949fb95e3c1ee42

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/4607#issuecomment-569237659 using your GitHub account
Received on Friday, 27 December 2019 10:07:55 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 19 October 2021 01:31:18 UTC