src/Tools/jEdit/src/jEdit.props
changeset 54318 1bdd8f541a06
parent 54306 2828f17fa41a
child 54365 5d45c985974a
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Wed Oct 09 15:33:20 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed Oct 09 23:06:23 2013 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  buffer.sidekick.keystroke-parse=false
     1.5  buffer.tabSize=2
     1.6  close-docking-area.shortcut2=C+e C+CIRCUMFLEX
     1.7 +complete-word.shortcut=
     1.8  console.dock-position=floating
     1.9  console.encoding=UTF-8
    1.10  console.font=IsabelleText
    1.11 @@ -190,8 +191,8 @@
    1.12  isabelle-sledgehammer.dock-position=bottom
    1.13  isabelle-symbols.dock-position=bottom
    1.14  isabelle-theories.dock-position=right
    1.15 -isabelle.complete.label=Complete text
    1.16 -isabelle.complete.shortcut=C+b
    1.17 +isabelle.complete.label=Complete Isabelle text
    1.18 +isabelle.complete.shortcut2=C+b
    1.19  isabelle.control-bold.label=Control bold
    1.20  isabelle.control-bold.shortcut=C+e RIGHT
    1.21  isabelle.control-reset.label=Control reset