NEWS: Isabelle/jEdit GUI scaling on Linux

[Makarius]

*** Isabelle/jEdit Prover IDE ***

* Automatic GUI scaling on Linux, based on global GDK_SCALE for Java.
This is only an approximation: an integer factor that applies uniformly
to all displays. In contrast, Windows and macOS work with accurate GUI
scaling for each individual display, based on operating system settings
and FlatLaf defaults.


This refers to Isabelle/a3e7732b0393.

Using it on the repository means that some jEdit user properties need to be 
adjusted (or rather removed): view.fontsize, view.gutter.fontsize, 
console.fontsize


	Makarius