mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fixed idea.system.selector property for idea*.exe in community edition (IDEA-142646, IDEA-142725)
This commit is contained in:
@@ -33,7 +33,6 @@ public abstract class ProductProperties {
|
||||
|
||||
abstract def String systemSelector()
|
||||
|
||||
String exe_selector = null
|
||||
String exe_launcher_properties
|
||||
String exe64_launcher_properties
|
||||
String platformPrefix = null
|
||||
|
||||
@@ -228,9 +228,9 @@ private layoutWin(Map args, String home, Paths paths) {
|
||||
|
||||
List resourcePaths = ["$home/${appInfoModulePath}/src", "$home/platform/icons/src"]
|
||||
buildWinLauncher(home, "$home/bin/WinLauncher/WinLauncher.exe", "$target/bin/${name}.exe", appInfoFile(),
|
||||
productProperties.exe_launcher_properties, productProperties.exe_selector, resourcePaths)
|
||||
productProperties.exe_launcher_properties, productProperties.systemSelector(), resourcePaths)
|
||||
buildWinLauncher(home, "$home/bin/WinLauncher/WinLauncher64.exe", "$target/bin/${name}64.exe", appInfoFile(),
|
||||
productProperties.exe64_launcher_properties, productProperties.exe_selector, resourcePaths)
|
||||
productProperties.exe64_launcher_properties, productProperties.systemSelector(), resourcePaths)
|
||||
|
||||
productProperties.customWinLayout(target)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user