# 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)