# HG changeset patch
# User wenzelm
# Date 1377434125 -7200
# Node ID bb5433b13ff2b074b5b6db4b4b1a3a2a1c778a17
# Parent  4786e4447cd2b635925aa8c1daf6569cd89eab6b
some secondary shortcuts derived from 5.1.0/keymaps/German_Keyboard_keys.props (using CIRCUMFLEX instead of S+1);
tuned;

diff -r 4786e4447cd2 -r bb5433b13ff2 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sun Aug 25 13:59:40 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Aug 25 14:35:25 2013 +0200
@@ -7,6 +7,7 @@
 buffer.noTabs=true
 buffer.sidekick.keystroke-parse=false
 buffer.tabSize=2
+close-docking-area.shortcut2=C+e C+CIRCUMFLEX
 console.dock-position=floating
 console.encoding=UTF-8
 console.font=IsabelleText
@@ -173,8 +174,10 @@
 encoding.opt-out.x-windows-iso2022jp=true
 encodingDetectors=BOM XML-PI buffer-local-property
 end.shortcut=
+expand-abbrev.shortcut2=CA+SPACE
 fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
 firstTime=false
+focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
 home.shortcut=
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
@@ -184,35 +187,32 @@
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-readme.dock-position=bottom
+isabelle-sledgehammer.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.control-bold.label=Control bold
 isabelle.control-bold.shortcut=C+e RIGHT
+isabelle.control-reset.label=Control reset
+isabelle.control-reset.shortcut=C+e LEFT
 isabelle.control-sub.label=Control subscript
 isabelle.control-sub.shortcut=C+e DOWN
-isabelle.control-reset.label=Control reset
-isabelle.control-reset.shortcut=C+e LEFT
 isabelle.control-sup.label=Control superscript
 isabelle.control-sup.shortcut=C+e UP
 isabelle.decrease-font-size.label=Decrease font size
 isabelle.decrease-font-size.shortcut2=C+SUBTRACT
 isabelle.decrease-font-size.shortcut=C+MINUS
 isabelle.decrease-font-size2.label=Decrease font size (clone)
-#isabelle.decrease-font-size2.shortcut2=C+SUBTRACT
-#isabelle.decrease-font-size2.shortcut=C+MINUS
 isabelle.increase-font-size.label=Increase font size
 isabelle.increase-font-size.shortcut2=C+ADD
 isabelle.increase-font-size.shortcut=C+PLUS
 isabelle.increase-font-size2.label=Increase font size (clone)
 isabelle.increase-font-size2.shortcut=C+EQUALS
-#isabelle.increase-font-size2.shortcut2=C+ADD
 isabelle.reset-continuous-checking.label=Reset continuous checking
 isabelle.reset-font-size.label=Reset font size
 isabelle.reset-font-size.shortcut=C+0
 isabelle.reset-node-required.label=Reset node required
 isabelle.set-continuous-checking.label=Set continuous checking
 isabelle.set-node-required.label=Set node required
-isabelle-sledgehammer.dock-position=bottom
 isabelle.toggle-continuous-checking.label=Toggle continuous checking
 isabelle.toggle-continuous-checking.shortcut=C+e ENTER
 isabelle.toggle-node-required.label=Toggle node required
@@ -222,11 +222,16 @@
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
+match-bracket.shortcut2=C+9
+next-bracket.shortcut2=C+e C+9
 plugin.MacOSXPlugin.altDispatcher=false
 plugin.MacOSXPlugin.disableOption=true
+prev-bracket.shortcut2=C+e C+8
 print.font=IsabelleText
+recent-buffer.shortcut2=C+CIRCUMFLEX
 restore.remote=false
 restore=false
+select-block.shortcut2=C+8
 sidekick-tree.dock-position=right
 sidekick.auto-complete-popup-get-focus=true
 sidekick.buffer-save-parse=true
@@ -237,6 +242,8 @@
 sidekick.splitter.location=721
 systrayicon=false
 tip.show=false
+toggle-multi-select.shortcut2=C+NUMBER_SIGN
+toggle-rect-select.shortcut2=A+NUMBER_SIGN
 twoStageSave=false
 vfs.browser.dock-position=floating
 view.antiAlias=standard