src/Tools/jEdit/src/session_dockable.scala
changeset 50208 1382ad6d4774
parent 50205 788c8263e634
child 50209 907373a080b9
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sun Nov 25 21:23:20 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sun Nov 25 21:35:29 2012 +0100
     1.3 @@ -51,12 +51,12 @@
     1.4    }
     1.5  
     1.6    private val cancel = new Button("Cancel") {
     1.7 -    reactions += { case ButtonClicked(_) => Isabelle_Actions.cancel_execution() }
     1.8 +    reactions += { case ButtonClicked(_) => Isabelle.cancel_execution() }
     1.9    }
    1.10    cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
    1.11  
    1.12    private val check = new Button("Check") {
    1.13 -    reactions += { case ButtonClicked(_) => Isabelle_Actions.check_buffer(view.getBuffer) }
    1.14 +    reactions += { case ButtonClicked(_) => Isabelle.check_buffer(view.getBuffer) }
    1.15    }
    1.16    check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    1.17