src/Tools/jEdit/src/theories_dockable.scala
changeset 54652 07ee041537a5
parent 53715 68c664737d04
child 54671 d64a4ef26edb
     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