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

I'd go with integers too, I think the downside of floats I listed in https://github.com/w3c/csswg-drafts/issues/4592#issue-537372943 is just asking for trouble.

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4592#issuecomment-806048333 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 18:12:17 UTC