diff options
author | Som Snytt <som.snytt@gmail.com> | 2016-06-21 12:22:58 -0400 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2016-06-21 12:22:58 -0400 |
commit | 8c01343908a4cb7a5d9d2432e06097e5f89592b8 (patch) | |
tree | 078a2b155cb972e90c0d99815dd4e8a27e938d3b | |
parent | aaf7bc0b948ee073934885f8240193a4ba2b3bb8 (diff) | |
download | scala-8c01343908a4cb7a5d9d2432e06097e5f89592b8.tar.gz scala-8c01343908a4cb7a5d9d2432e06097e5f89592b8.tar.bz2 scala-8c01343908a4cb7a5d9d2432e06097e5f89592b8.zip |
SI-9336 Enable paste detect in jline
When the next char is available immediately after a tab,
the tab is taken raw instead of invoking completion.
-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 |