mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
addition to fix: [IDEA-69141] config dir named .${PRODUCT_SETTINGS_DIR}
This commit is contained in:
@@ -34,7 +34,7 @@
|
||||
</text>
|
||||
</splashScreen>
|
||||
<java mainClass="com.intellij.idea.Main"
|
||||
vmParameters=""-Xbootclasspath/a:${EXE4J_EXEDIR}/../lib/boot.jar" "-Didea.properties.file=${IDEA_PROPERTIES}" -Didea.platform.prefix=Python -Didea.no.jre.check=true "-Didea.paths.selector=__PRODUCT_SETTINGS_DIR__""
|
||||
vmParameters=""-Xbootclasspath/a:${EXE4J_EXEDIR}/../lib/boot.jar" "-Didea.properties.file=${IDEA_PROPERTIES}" -Didea.platform.prefix=Python -Didea.no.jre.check=true "-Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__""
|
||||
arguments=""
|
||||
allowVMPassthroughParameters="true"
|
||||
minVersion="1.6"
|
||||
|
||||
Reference in New Issue
Block a user