Re: [isabelle] Isabelle2019-RC0: Fonts look blurry



On 02/04/2019 17:29, Peter Lammich wrote:
> 
> the font rendering problem on non-highres screens has still not been
> fixed.

In the meantime I have made many experiments with old HD displays
(instead of UHD displays that are routinely available since 3 years):
they work fine for me, even after some hours.

Going back to the font rendering of Java 8 is now getting a problem: it
looks strange.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.