--- a/NEWS Fri Jan 01 22:13:24 2016 +0100
+++ b/NEWS Sat Jan 02 13:22:46 2016 +0100
@@ -94,13 +94,16 @@
already running Isabelle/jEdit process. This achieves the effect of
single-instance applications seen on common GUI desktops.
-* The main Isabelle executable is managed as single-instance Desktop
-application uniformly on all platforms: Linux, Windows, Mac OS X.
-
* The default look-and-feel for Linux is the traditional "Metal", which
works better with GUI scaling for very high-resolution displays (e.g.
4K). Moreover, it is generally more robust than "Nimbus".
+* The main Isabelle executable is managed as single-instance Desktop
+application uniformly on all platforms: Linux, Windows, Mac OS X.
+
+* Update to jedit-5.3.0, with improved GUI scaling and support of
+high-resolution displays (e.g. 4K).
+
*** Document preparation ***