avoid conflict after initial keymap migration;
authorwenzelm
Thu, 01 Sep 2016 17:46:49 +0200
changeset 63757 a9159d30070f
parent 63754 23b013b6b2fb
child 63758 20ef5c1291da
avoid conflict after initial keymap migration;
src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Sep 01 17:35:17 2016 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Sep 01 17:46:49 2016 +0200
@@ -177,6 +177,7 @@
 encodingDetectors=BOM XML-PI buffer-local-property
 end.shortcut=
 expand-abbrev.shortcut2=CA+SPACE
+expand-folds.shortcut=
 fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
 firstTime=false
 focus-buffer-switcher.shortcut2=A+CIRCUMFLEX