Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin);
authorwenzelm
Tue, 11 May 2010 10:36:50 +0200
changeset 36792 4cf537964010
parent 36791 b8384c455b40
child 36814 dc85664dbf6d
disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin);
src/Tools/jEdit/dist-template/properties/jedit.props file | annotate | diff | comparison | revisions 
--- 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
isabelle