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