<Swing Dev> RFR: 8231286: HTML font size too large with high-DPI scaling and W3C_LENGTH_UNITS [v4]

Wed Feb 3 08:39:41 UTC 2021

On Tue, 2 Feb 2021 21:35:00 GMT, Alexey Ivanov <aivanov at 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