equal
deleted
inserted
replaced
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(_) => Isabelle_Actions.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(_) => Isabelle_Actions.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 |