[isabelle-dev] Isabelle DejaVu against old Isabelle Text font

[Peter Lammich]

Hi list,

I just updated my Isabelle devel version (now on d21789843f01), and
immediately noticed that the displayed fonts are significantly blurry.

Find attached a side-by-side comparison of Isabelle-d21789843f01 (left)
and Isabelle-2018 (right). At least on my monitor, the font display on
the left side is significantly worse (blurred). Both use font size 18
with standard anti-aliasing method.


Is this worsening due to another Java version, due to the new Isabelle
font, or has it some other reasons? How to find out? How to fix it?


--
  Peter

-------------- next part --------------
A non-text attachment was scrubbed...
Name: compare.png
Type: image/png
Size: 449434 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20190205/7ee3373c/attachment-0001.png>