Minor: change repl.ideMode property name to kotlin.repl.ideMode
This commit is contained in:
committed by
Pavel V. Talanov
parent
ab06dbfc70
commit
87969f1660
@@ -52,7 +52,7 @@ public class ReplFromTerminal {
|
||||
@NotNull final Disposable disposable,
|
||||
@NotNull final CompilerConfiguration compilerConfiguration
|
||||
) {
|
||||
String replIdeMode = System.getProperty("repl.ideMode");
|
||||
String replIdeMode = System.getProperty("kotlin.repl.ideMode");
|
||||
ideMode = replIdeMode != null && replIdeMode.equals("true");
|
||||
|
||||
// wrapper for `out` is required to escape every input in [ideMode];
|
||||
|
||||
@@ -77,7 +77,7 @@ public class KotlinConsoleKeeper(val project: Project) {
|
||||
paramList.add("-cp")
|
||||
paramList.add(replClassPath)
|
||||
|
||||
paramList.add("-Drepl.ideMode=true")
|
||||
paramList.add("-Dkotlin.repl.ideMode=true")
|
||||
|
||||
paramList.add("org.jetbrains.kotlin.cli.jvm.K2JVMCompiler")
|
||||
|
||||
|
||||
Reference in New Issue
Block a user