diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-10-18 10:26:35 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-18 10:26:35 -0700 |
commit | 4f3f008c058f7a448bd05a0b5dfcb2a931481c8c (patch) | |
tree | a6394e21571ba819590edd6a8c89a2b08330f263 /src | |
parent | a5b17825e3171e7d52254ca661064ed55d742c04 (diff) | |
parent | 8c01343908a4cb7a5d9d2432e06097e5f89592b8 (diff) | |
download | scala-4f3f008c058f7a448bd05a0b5dfcb2a931481c8c.tar.gz scala-4f3f008c058f7a448bd05a0b5dfcb2a931481c8c.tar.bz2 scala-4f3f008c058f7a448bd05a0b5dfcb2a931481c8c.zip |
Merge pull request #5240 from som-snytt/issue/9336-paste-tab
SI-9336 Enable paste detect in jline
Diffstat (limited to 'src')
-rw-r--r-- | src/repl-jline/scala/tools/nsc/interpreter/jline/JLineReader.scala | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/repl-jline/scala/tools/nsc/interpreter/jline/JLineReader.scala b/src/repl-jline/scala/tools/nsc/interpreter/jline/JLineReader.scala index b5db4c2098..0983f24fbb 100644 --- a/src/repl-jline/scala/tools/nsc/interpreter/jline/JLineReader.scala +++ b/src/repl-jline/scala/tools/nsc/interpreter/jline/JLineReader.scala @@ -33,11 +33,14 @@ class InteractiveReader(completer: () => Completion) extends interpreter.Interac private val consoleReader = { val reader = new JLineConsoleReader() - reader setPaginationEnabled interpreter.`package`.isPaged + reader setPaginationEnabled interpreter.isPaged - // ASAP + // turn off magic ! reader setExpandEvents false + // enable detecting pasted tab char (when next char is immediately available) which is taken raw, not completion + reader setCopyPasteDetection true + reader setHistory history.asInstanceOf[JHistory] reader |