NEWS
changeset 62034 91fcb3bc28bb
parent 62031 8b50da907602
child 62060 b75764fc4c35
     1.1 --- a/NEWS	Fri Jan 01 22:13:24 2016 +0100
     1.2 +++ b/NEWS	Sat Jan 02 13:22:46 2016 +0100
     1.3 @@ -94,13 +94,16 @@
     1.4  already running Isabelle/jEdit process. This achieves the effect of
     1.5  single-instance applications seen on common GUI desktops.
     1.6  
     1.7 -* The main Isabelle executable is managed as single-instance Desktop
     1.8 -application uniformly on all platforms: Linux, Windows, Mac OS X.
     1.9 -
    1.10  * The default look-and-feel for Linux is the traditional "Metal", which
    1.11  works better with GUI scaling for very high-resolution displays (e.g.
    1.12  4K). Moreover, it is generally more robust than "Nimbus".
    1.13  
    1.14 +* The main Isabelle executable is managed as single-instance Desktop
    1.15 +application uniformly on all platforms: Linux, Windows, Mac OS X.
    1.16 +
    1.17 +* Update to jedit-5.3.0, with improved GUI scaling and support of
    1.18 +high-resolution displays (e.g. 4K).
    1.19 +
    1.20  
    1.21  *** Document preparation ***
    1.22