# HG changeset patch
# User wenzelm
# Date 1354655699 -3600
# Node ID 4a955d23c79b7f9b6d302ea87e3c25a43fee2ff6
# Parent  4258aeca13a0838f9b2fc05dd495c80e249f4043
proper action labels, to make this appear in the "Shortcuts" panel, for example;

diff -r 4258aeca13a0 -r 4a955d23c79b src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Tue Dec 04 19:10:14 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Tue Dec 04 22:14:59 2012 +0100
@@ -183,7 +183,9 @@
 isabelle-readme.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=bottom
+isabelle.cancel-execution.label=Cancel execution
 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
+isabelle.check-buffer.label=Commence full checking
 isabelle.check-buffer.shortcut=C+e SPACE
 isabelle.control-bold.label=Control bold
 isabelle.control-bold.shortcut=C+e RIGHT