<Swing Dev> RFR: 8231286: HTML font size too large with high-DPI scaling and W3C_LENGTH_UNITS [v4]
Prasanta Sadhukhan
psadhukhan at openjdk.java.net
Wed Feb 3 08:46:42 UTC 2021
On Wed, 3 Feb 2021 08:36:30 GMT, Matthias Perktold <github.com+7334069+mperktold 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?
That test was added to test the past CSS mapping "JDK-4765271 Mapping of the CSS length units is incorrect " so I guess we can take care of hardcoding the existing test to preserve old behaviour. You dont need to change anything.
-------------
PR: https://git.openjdk.java.net/jdk/pull/2256
More information about the swing-dev
mailing list