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

Re: [csswg-drafts] [css-pseudo] Add stroke-color and stroke-width to the list of highlight properties (#2362)

From: Brad Kemper via GitHub <sysbot+gh@w3.org>
Date: Mon, 31 Dec 2018 16:10:36 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-450663076-1546272635-sysbot+gh@w3.org>
How is stroke color or width different? Wouldn’t the stroke show the exact bounds of of the highlight painting area?  Wouldn’t that always be a merging of rectangles? 

OK, border-image would be weird if the selection went around a piece of text that was taller than other things in the line, but box shadow and border-radius could still work. Apply the border radius before merging the rectangles. Do box shadow like a filter, and then knock out the shape. 

Are filters disallowed because of performance?

GitHub Notification of comment by bradkemper
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/2362#issuecomment-450663076 using your GitHub account
Received on Monday, 31 December 2018 16:10:37 UTC

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