src/Tools/jEdit/src/theories_dockable.scala
changeset 52763 3b5f4f2ff108
parent 52759 a20631db9c8a
child 52769 0827b6f5de44
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 13:28:27 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 13:43:12 2013 +0200
     1.3 @@ -76,6 +76,7 @@
     1.4          case PIDE.Execution_Range.VISIBLE => group.select(b3)
     1.5        }
     1.6      }
     1.7 +    load()
     1.8    }
     1.9  
    1.10    private val logic = Isabelle_Logic.logic_selector(true)