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

frivoal has just created a new issue for https://github.com/w3c/csswg-drafts:

== [css-highlight-api] should priority be a floating point number or an integer? ==
Assuming we continue having numerical priorities (see #4591), should the highlight priority be an integer instead of a double?

Downside of integers: likely to be used like BASIC line numbers, counting in 10s (or in 100s) to make insertion between two layers easy. Workable, but clumsy.

Downside of doubles: depending on the internal precision used to store these, in some browsers two **very** close numbers could be considered equal, while in other browsers they would be different. Depending on the order of insertion into `CSS.highlights`, this could result in the opposite ordering, and therefore interop problems.


Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4592 using your GitHub account

Received on Friday, 13 December 2019 06:29:28 UTC