Admin/Linux/Isabelle
changeset 54037 ab77ec347220
parent 53581 c0ad478abf50
--- a/Admin/Linux/Isabelle	Wed Oct 02 19:27:12 2013 +0200
+++ b/Admin/Linux/Isabelle	Wed Oct 02 19:43:58 2013 +0200
@@ -19,6 +19,9 @@
 
 # main
 
+#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
+unset XMODIFIERS
+
 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
   "-Disabelle.home=$ISABELLE_HOME" \
   {JAVA_ARGS} \