# HG changeset patch # User wenzelm # Date 1273567010 -7200 # Node ID 4cf53796401060c7f0b6c76fe29503aa35b12fcb # Parent b8384c455b40047ebb6a366048e394daaf116fed disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin); diff -r b8384c455b40 -r 4cf537964010 src/Tools/jEdit/dist-template/properties/jedit.props --- a/src/Tools/jEdit/dist-template/properties/jedit.props Mon May 10 23:46:49 2010 +0200 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props Tue May 11 10:36:50 2010 +0200 @@ -185,6 +185,7 @@ sidekick.complete-delay=300 sidekick.splitter.location=721 tip.show=false +twoStageSave=false view.antiAlias=standard view.blockCaret=true view.caretBlink=false