On Tue, 2 Feb 2021 21:35:00 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
> I think we should hard-code 96. Does JDK treat 93/94/95 differently? Does it > change font size in any other place but CSS with W3C_LENGTH_UNITS? But isn't that precesily the only situation in which the old length mappings were correct already? AFAIU, this wouldn't really test the fix, but only ensure that the old behavior is preserved were it was correct already. Then again, that could be enough, or I could be wrong. Anyway, let's say I really want to hardcode 96. How can I do that? ------------- PR: https://git.openjdk.java.net/jdk/pull/2256
