# HG changeset patch
# User wenzelm
# Date 1609974253 -3600
# Node ID 131ab1a941dd7bf76c6684a13b897a414070c875
# Parent  bf573ed376ef9582e3101c0cc2e416766aade8ee
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";

diff -r bf573ed376ef -r 131ab1a941dd etc/settings
--- a/etc/settings	Wed Jan 06 16:50:53 2021 +0100
+++ b/etc/settings	Thu Jan 07 00:04:13 2021 +0100
@@ -12,7 +12,7 @@
 ### Isabelle/Scala
 ###
 
-ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
 
 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"