From df923b156d1618fe50a75aec388eb75f4586fb56 Mon Sep 17 00:00:00 2001 From: Roman Shevchenko Date: Sun, 20 Nov 2011 19:17:07 +0100 Subject: [PATCH] IDEA-74433 (allow to switch safe write off) --- python/build/idea.properties | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/python/build/idea.properties b/python/build/idea.properties index d8221b7d8a90..3a794c7bcfc3 100644 --- a/python/build/idea.properties +++ b/python/build/idea.properties @@ -88,3 +88,8 @@ idea.cycle.buffer.size=1024 # Removing this property may lead to editor performance degradation under X Window. #---------------------------------------------------------------------- sun.java2d.pmoffscreen=false + +#---------------------------------------------------------------------- +# Uncomment to disable Safe Write feature, which causes permission change on editing a (e.g. Samba-) mounted files. +#---------------------------------------------------------------------- +#idea.no.safe.write=true