MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-74433 (allow to switch safe write off)

Browse Source
This commit is contained in:
Roman Shevchenko
2011-11-20 19:17:52 +01:00
parent 7e83954c4c
commit df923b156d
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/idea.properties
+5
View File
@@ -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