From 2024fe89f400ddc1dee34f41e01d987592ef4d90 Mon Sep 17 00:00:00 2001 From: Neeraj Jaiswal Date: Fri, 19 Oct 2018 21:56:19 +0530 Subject: [PATCH] Fix unescaping of escape sequences by jline in REPL --- compiler/src/dotty/tools/repl/JLineTerminal.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/src/dotty/tools/repl/JLineTerminal.scala b/compiler/src/dotty/tools/repl/JLineTerminal.scala index 3ce20d4da76a..2e6b0e216f89 100644 --- a/compiler/src/dotty/tools/repl/JLineTerminal.scala +++ b/compiler/src/dotty/tools/repl/JLineTerminal.scala @@ -62,6 +62,7 @@ final class JLineTerminal(needsTerminal: Boolean) extends java.io.Closeable { .variable(BLINK_MATCHING_PAREN, 0L) // Don't blink the opening paren after typing a closing paren. .option(INSERT_TAB, true) // At the beginning of the line, insert tab instead of completing. .option(AUTO_FRESH_LINE, true) // if not at start of line before prompt, move to new line. + .option(DISABLE_EVENT_EXPANSION, true) // don't process escape sequences in input .build() lineReader.readLine(prompt)