src/Tools/jEdit/src/jEdit.props
changeset 63758 a9159d30070f
parent 63751 4fe8cfaeb1fc
child 63761 b1088b1e3b7e
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Thu Sep 01 17:35:17 2016 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Thu Sep 01 17:46:49 2016 +0200
     1.3 @@ -177,6 +177,7 @@
     1.4  encodingDetectors=BOM XML-PI buffer-local-property
     1.5  end.shortcut=
     1.6  expand-abbrev.shortcut2=CA+SPACE
     1.7 +expand-folds.shortcut=
     1.8  fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
     1.9  firstTime=false
    1.10  focus-buffer-switcher.shortcut2=A+CIRCUMFLEX