author | wenzelm |
Thu, 01 Sep 2016 17:48:44 +0200 | |
changeset 63758 | 20ef5c1291da |
parent 63756 | 6b6bf5c0f9c1 (current diff) |
parent 63757 | a9159d30070f (diff) |
child 63759 | f81e5f492cf9 |
--- a/src/Tools/jEdit/src/jEdit.props Thu Sep 01 17:44:21 2016 +0200 +++ b/src/Tools/jEdit/src/jEdit.props Thu Sep 01 17:48:44 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