diff options
author | Paul Phillips <paulp@improving.org> | 2010-12-13 15:26:15 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-12-13 15:26:15 +0000 |
commit | beed1ea8114ea05ebf615bdffae9ac8659f7a396 (patch) | |
tree | ba3f7516fbd005383182f05ab58fc4953ab5609b /src/jline | |
parent | f033bc401a524cd14a49730df74a62ab9acbf586 (diff) | |
download | scala-beed1ea8114ea05ebf615bdffae9ac8659f7a396.tar.gz scala-beed1ea8114ea05ebf615bdffae9ac8659f7a396.tar.bz2 scala-beed1ea8114ea05ebf615bdffae9ac8659f7a396.zip |
More repl hardening, and a new jline jar which ...
More repl hardening, and a new jline jar which fixes a paste issue on
OSX. No review.
Diffstat (limited to 'src/jline')
-rw-r--r-- | src/jline/src/main/java/jline/console/ConsoleReader.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/jline/src/main/java/jline/console/ConsoleReader.java b/src/jline/src/main/java/jline/console/ConsoleReader.java index fe9e85aed9..44b0cbf866 100644 --- a/src/jline/src/main/java/jline/console/ConsoleReader.java +++ b/src/jline/src/main/java/jline/console/ConsoleReader.java @@ -513,7 +513,11 @@ public class ConsoleReader * fixes backspace issue, where it assumes that the terminal is doing this. */ private final void newlineAtWrap() throws IOException { - if (terminal.newlineAtWrapNeeded()) { + /** On OSX this leads to failure to paste lines longer than the + * the terminal width. It spews some ansi control and truncates + * the paste. + */ + if (false && terminal.newlineAtWrapNeeded()) { int width = getTerminal().getWidth(); if ((getCursorPosition() % width == 0) && getCurrentPosition() >= width) |