[isabelle] A more adequate workaround for jEdit scaling on hidpi / high resolution

Hi all,

the documentation on Isabelle/jEdit has a subsection on scaling it on high
resolution screens ("Displays with high resolution"). It discusses scaling
fonts, but this leaves certain UI elements unchanged. There exists a
different workaround that should produce better results in most situations.

You will have to invoke Isabelle/jEdit via the command line, and pass in
the option `-J "-Dsun.java2d.uiScale=2.0"`. For example,

$ isabelle jedit -J "-Dsun.java2d.uiScale=2.0"

this should uniformly scale all UI elements by 2x. Other integer quantities
should work as well. Additionally, specifically for GNOME Linux, Java 9 or
newer, it suffices to set an environment variable `GDK_SCALE` instead; that
is, the same can be achieved with

$ GDK_SCALE="2" bin/isabelle jedit

It would please me to see this added in the documentation, or somewhere
more visible by someone with the ability to edit the relevant documents.

Johannes Choo

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