non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);
authorwenzelm
Sat Nov 30 16:07:00 2013 +0100 (2013-11-30)
changeset 5465207ee041537a5
parent 54651 d71e7908eec3
child 54653 e38592fa2830
non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);
src/Tools/jEdit/src/theories_dockable.scala
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Sat Nov 30 15:05:10 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Nov 30 16:07:00 2013 +0100
     1.3 @@ -74,6 +74,7 @@
     1.4    }
     1.5  
     1.6    private val continuous_checking = new Isabelle.Continuous_Checking
     1.7 +  continuous_checking.focusable = false
     1.8  
     1.9    private val logic = Isabelle_Logic.logic_selector(true)
    1.10