Re: [isabelle] Isabelle2019-RC0: Fonts look blurry
FWIW I explored some options settings (Utilities>Global Options>jEdit>Text Area),
and I found that, at least in the case of my system/display, the default setting
of "subpixel HRGB" for "Anti Aliased smooth text" produced the worst results of
all of the settings except for "none". I have been using the setting "Standard"
and I think I like it better.
That helps with the main edit window. It doesn't help with the way the fonts
look in pop-up tooltips (they are sort of rough-looking, but I don't look at them
for too long), or the wide boldface that I have already complained about in
the Sidekick panel.
Also, the apparent number of somewhat different faces is disconcerting.
I don't really understand why the search menu has to use a different face in the
text area than the main edit window.
On 4/8/19 6:02 PM, Bertram Felgenhauer via Cl-isabelle-users wrote:
> Peter Lammich wrote:
>> Hi List,
>> the font rendering problem on non-highres screens has still not been
> As Makarius wrote, this is a consequence of switching to OpenJDK.
> Oracle's JDK uses Bitstream's proprietary T2K font engine, whereas
> OpenJDK uses FreeType , which as far as I can discern simply does
> not support the super-agressive kind of hinting that T2K does on
> medium DPI displays.
> One can coerce Freetype into doing a bit more. I'm attaching a dirty
> LD_PRELOAD hack (sorry, Linux only) that can be used to play with some
> options. The most promising one is the 'warping' feature , which
> attempts to align stems such that one of the sides is pixel aligned.
> This avoids the particularly bad case of having two gray pixel columns
> next to each other for a vertical stem.
> Doing this kind of tweaking properly would require patching the JDK,
> unfortunately. See the OpenJDK repo  respectively the AdoptOpenJDK
> mirror .
> P.S. Speaking for myself I expect I will get used to the new, somewhat
> blurrier, look of Isabelle/jEdit on my HD display. The projector
> scenario (for teaching) seems to be a more serious concern though.
>  http://mail.openjdk.java.net/pipermail/discuss/2017-November/004621.html
>  https://www.freetype.org/freetype2/docs/reference/ft2-properties.html#warping
>  https://hg.openjdk.java.net/jdk/jdk11/file/tip/src/java.desktop/share/native/libfontmanager/freetypeScaler.c
>  https://github.com/AdoptOpenJDK/openjdk-jdk11/blob/master/src/java.desktop/share/native/libfontmanager/freetypeScaler.c
This archive was generated by a fusion of
Pipermail (Mailman edition) and