| changeset 54037 | ab77ec347220 |
| parent 53577 | d033bc00b762 |
| child 54311 | ed839b74ef67 |
--- a/etc/settings Wed Oct 02 19:27:12 2013 +0200 +++ b/etc/settings Wed Oct 02 19:43:58 2013 +0200 @@ -22,6 +22,9 @@ classpath "$ISABELLE_HOME/lib/classes/scala-compiler.jar" classpath "$ISABELLE_HOME/lib/classes/scala-reflect.jar" +#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. +unset XMODIFIERS + ### ### Interactive sessions (cf. isabelle tty)