tuned labels;
authorwenzelm
Fri Nov 30 21:47:44 2012 +0100 (2012-11-30)
changeset 503006658097758ba
parent 50299 f70b3712040f
child 50301 56b4c9afd7be
tuned labels;
src/Tools/jEdit/src/Isabelle.props
src/Tools/jEdit/src/theories_dockable.scala
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:30:24 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:47:44 2012 +0100
     1.3 @@ -27,9 +27,7 @@
     1.4  options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
     1.5  
     1.6  #actions
     1.7 -isabelle.check-buffer.label=Commence full proof checking of current buffer
     1.8  isabelle.check-buffer.shortcut=C+e SPACE
     1.9 -isabelle.cancel-execution.label=Cancel current proof checking process
    1.10  isabelle.cancel-execution.shortcut=C+e BACK_SPACE
    1.11  isabelle.increase-font-size.label=Increase font size
    1.12  isabelle.increase-font-size.shortcut=C+PLUS
     2.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:30:24 2012 +0100
     2.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:47:44 2012 +0100
     2.3 @@ -57,12 +57,12 @@
     2.4    private val cancel = new Button("Cancel") {
     2.5      reactions += { case ButtonClicked(_) => PIDE.cancel_execution() }
     2.6    }
     2.7 -  cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
     2.8 +  cancel.tooltip = "Cancel current checking process"
     2.9  
    2.10    private val check = new Button("Check") {
    2.11      reactions += { case ButtonClicked(_) => PIDE.check_buffer(view.getBuffer) }
    2.12    }
    2.13 -  check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    2.14 +  check.tooltip = "Commence full checking of current buffer"
    2.15  
    2.16    private val logic = Isabelle_Logic.logic_selector(true)
    2.17