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