Withdrawn: 8231286: HTML font size too large with high-DPI scaling and W3C_UNIT_LENGTHS

2021-02-03 Thread Matthias Perktold
On Mon, 25 Jan 2021 16:22:33 GMT, Matthias Perktold wrote: > @prsadhuk asked me to take over his pull request #1628, since I filed the bug > an suggested this fix. > > I thought the current behavior would be buggy, but actually the units are > quite precise. I checked the size of a text in

Withdrawn: 8231286: HTML font size too large with high-DPI scaling and W3C_UNIT_LENGTHS

2021-01-26 Thread Prasanta Sadhukhan
On Fri, 4 Dec 2020 17:30:11 GMT, Prasanta Sadhukhan wrote: > Issue is when using a JEditorPane to render HTML views with W3C_UNIT_LENGTHS > enabled, font-sizes set using CSS are much larger than the same font size > outside the HTML. > It's because CSS LengthUnit uses screen resolution to