src/Tools/jEdit/src/session_dockable.scala
changeset 50209 907373a080b9
parent 50208 1382ad6d4774
child 50250 267bd685a69f
equal deleted inserted replaced
50208:1382ad6d4774 50209:907373a080b9
    49   {
    49   {
    50     Swing_Thread.later { session_phase.text = " " + phase.toString + " " }
    50     Swing_Thread.later { session_phase.text = " " + phase.toString + " " }
    51   }
    51   }
    52 
    52 
    53   private val cancel = new Button("Cancel") {
    53   private val cancel = new Button("Cancel") {
    54     reactions += { case ButtonClicked(_) => Isabelle.cancel_execution() }
    54     reactions += { case ButtonClicked(_) => PIDE.cancel_execution() }
    55   }
    55   }
    56   cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
    56   cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
    57 
    57 
    58   private val check = new Button("Check") {
    58   private val check = new Button("Check") {
    59     reactions += { case ButtonClicked(_) => Isabelle.check_buffer(view.getBuffer) }
    59     reactions += { case ButtonClicked(_) => PIDE.check_buffer(view.getBuffer) }
    60   }
    60   }
    61   check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    61   check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    62 
    62 
    63   private val logic = Isabelle_Logic.logic_selector(true)
    63   private val logic = Isabelle_Logic.logic_selector(true)
    64 
    64