# HG changeset patch
# User wenzelm
# Date 1377760563 -7200
# Node ID 0460d6962cedf3720072feb9e41003091681572a
# Parent  d6d813d7e702874207f27f0f2f8e05e9ac9da0e7
GTK+ works better due to avoidance of default list view popups;

diff -r d6d813d7e702 -r 0460d6962ced NEWS
--- a/NEWS	Thu Aug 29 08:05:29 2013 +0200
+++ b/NEWS	Thu Aug 29 09:16:03 2013 +0200
@@ -95,6 +95,9 @@
 are only completed in backslash forms, e.g. \forall or \<forall> that
 both produce the Isabelle symbol \<forall> in its Unicode rendering.
 
+* Improved support for Linux look-and-feel "GTK+", see also "Utilities
+/ Global Options / Appearance".
+
 
 *** Pure ***