diff -r 6f64ce2e5a40 -r 08b55c5ce064 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sat Dec 01 22:23:42 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Dec 01 22:42:54 2012 +0100
@@ -183,6 +183,21 @@
 isabelle-readme.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=bottom
+isabelle.cancel-execution.shortcut=C+e BACK_SPACE
+isabelle.check-buffer.shortcut=C+e SPACE
+isabelle.control-bold.label=Control bold
+isabelle.control-bold.shortcut=C+e RIGHT
+isabelle.control-isub.label=Control subscript
+isabelle.control-isub.shortcut=C+e DOWN
+isabelle.control-isup.label=Control superscript
+isabelle.control-isup.shortcut=C+e UP
+isabelle.control-reset.label=Control reset
+isabelle.control-reset.shortcut=C+e LEFT
+isabelle.decrease-font-size.label=Decrease font size
+isabelle.decrease-font-size.shortcut=C+MINUS
+isabelle.increase-font-size.label=Increase font size
+isabelle.increase-font-size.shortcut2=C+EQUALS
+isabelle.increase-font-size.shortcut=C+PLUS
 lang.usedefaultlocale=false
 largefilemode=full
 line-end.shortcut=END