1.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Dec 04 19:10:14 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Tue Dec 04 22:14:59 2012 +0100
     1.3 @@ -183,7 +183,9 @@
     1.4  isabelle-readme.dock-position=bottom
     1.5  isabelle-symbols.dock-position=bottom
     1.6  isabelle-theories.dock-position=bottom
     1.7 +isabelle.cancel-execution.label=Cancel execution
     1.8  isabelle.cancel-execution.shortcut=C+e BACK_SPACE
     1.9 +isabelle.check-buffer.label=Commence full checking
    1.10  isabelle.check-buffer.shortcut=C+e SPACE
    1.11  isabelle.control-bold.label=Control bold
    1.12  isabelle.control-bold.shortcut=C+e RIGHT