src/Tools/jEdit/src/jEdit.props

--- a/src/Tools/jEdit/src/jEdit.props	Thu Aug 29 21:17:46 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Aug 29 21:49:46 2013 +0200
@@ -190,6 +190,8 @@
 isabelle-sledgehammer.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
+isabelle.complete.label=Complete text
+isabelle.complete.shortcut=C+b
 isabelle.control-bold.label=Control bold
 isabelle.control-bold.shortcut=C+e RIGHT
 isabelle.control-reset.label=Control reset