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

RCOD mute

Browse Source
This commit is contained in:
Maxim Shafirov
2011-12-08 20:18:12 +04:00
parent 4f543819c5
commit f12d8225a6
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/scripts/dist.gant
+3
View File
@@ -143,6 +143,9 @@ private def layoutMac(Map args, String home, Paths paths) {
</array>
"""
args["idea.properties.path"] = "$home/bin/idea.properties"
if (!isEap()) {
args["idea.properties"] = ["idea.fatal.error.notification":"disabled"];
}
def system_selector = args.system_selector
// TODO remove the next line when system_selector for Mac and other OS will be unified
system_selector = args.system_selector_mac