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

[Makarius]

On 05.02.19 20:19, Makarius wrote:
>  From a distance, I would say that this is a matter of the Java 11 
> font-renderer, which is provided by https://adoptopenjdk.net. The one by 
> Oracle is much worse -- OpenJdk not the non-free Java. (Note that the 
> license change of non-free Oracle Java no longer allows to bundle it.)

For completeness, this is how to experiment with different versions of 
JDK, e.g. the one that Ubuntu 18.04 provides as the "openjdk-11" package 
family:

  ISABELLE_JDK_HOME="/usr/lib/jvm/java-11-openjdk-amd64"

in $ISABELLE_HOME_USER/etc/settings as usual.


	Makarius