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

Re: [csswg-drafts] [css-highlight-api] Should the HighlightsRegister be renamed to HighlightsRegistry (#5760)

From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
Date: Tue, 08 Dec 2020 12:59:25 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-740604390-1607432364-sysbot+gh@w3.org>
Works for me. As far as I know, the only implementation is the one [in safari](https://developer.apple.com/safari/technology-preview/release-notes/#r99), so if you don't mind changing, I see no downside.

GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5760#issuecomment-740604390 using your GitHub account

Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 8 December 2020 12:59:27 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:23 UTC