# HG changeset patch
# User wenzelm
# Date 1354308464 -3600
# Node ID 6658097758ba15ca30ec62e82471e6cbd2629be0
# Parent  f70b3712040fece5bb797cfd58c5f6e74c39453d
tuned labels;

diff -r f70b3712040f -r 6658097758ba src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:30:24 2012 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:47:44 2012 +0100
@@ -27,9 +27,7 @@
 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
 
 #actions
-isabelle.check-buffer.label=Commence full proof checking of current buffer
 isabelle.check-buffer.shortcut=C+e SPACE
-isabelle.cancel-execution.label=Cancel current proof checking process
 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
 isabelle.increase-font-size.label=Increase font size
 isabelle.increase-font-size.shortcut=C+PLUS
diff -r f70b3712040f -r 6658097758ba src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:30:24 2012 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 30 21:47:44 2012 +0100
@@ -57,12 +57,12 @@
   private val cancel = new Button("Cancel") {
     reactions += { case ButtonClicked(_) => PIDE.cancel_execution() }
   }
-  cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
+  cancel.tooltip = "Cancel current checking process"
 
   private val check = new Button("Check") {
     reactions += { case ButtonClicked(_) => PIDE.check_buffer(view.getBuffer) }
   }
-  check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
+  check.tooltip = "Commence full checking of current buffer"
 
   private val logic = Isabelle_Logic.logic_selector(true)