src/Tools/jEdit/src/theories_dockable.scala
changeset 52763 3b5f4f2ff108
parent 52759 a20631db9c8a
child 52769 0827b6f5de44
equal deleted inserted replaced
52762:c2a6e220f157 52763:3b5f4f2ff108
    74         case PIDE.Execution_Range.ALL => group.select(b1)
    74         case PIDE.Execution_Range.ALL => group.select(b1)
    75         case PIDE.Execution_Range.NONE => group.select(b2)
    75         case PIDE.Execution_Range.NONE => group.select(b2)
    76         case PIDE.Execution_Range.VISIBLE => group.select(b3)
    76         case PIDE.Execution_Range.VISIBLE => group.select(b3)
    77       }
    77       }
    78     }
    78     }
       
    79     load()
    79   }
    80   }
    80 
    81 
    81   private val logic = Isabelle_Logic.logic_selector(true)
    82   private val logic = Isabelle_Logic.logic_selector(true)
    82 
    83 
    83   private val controls =
    84   private val controls =