src/Tools/jEdit/src/theories_dockable.scala
changeset 50300 6658097758ba
parent 50299 f70b3712040f
child 50895 3a1edaa0dc6d
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:30:24 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:47:44 2012 +0100
     1.3 @@ -57,12 +57,12 @@
     1.4    private val cancel = new Button("Cancel") {
     1.5      reactions += { case ButtonClicked(_) => PIDE.cancel_execution() }
     1.6    }
     1.7 -  cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
     1.8 +  cancel.tooltip = "Cancel current checking process"
     1.9  
    1.10    private val check = new Button("Check") {
    1.11      reactions += { case ButtonClicked(_) => PIDE.check_buffer(view.getBuffer) }
    1.12    }
    1.13 -  check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    1.14 +  check.tooltip = "Commence full checking of current buffer"
    1.15  
    1.16    private val logic = Isabelle_Logic.logic_selector(true)
    1.17