Re: [csswg-drafts] [css-highlight-api] should priority be a floating point number or an integer? (#4592)

@frivoal @hober @fantasai I don't have strong opinions on this, but I'm in favor of keeping this simple and just using integers. Are you all okay with that?

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


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 24 March 2021 16:57:24 UTC