@@ -9,6 +9,7 @@ import dotty.tools.dotc.util.SourceFile
9
9
import org .jline .reader
10
10
import org .jline .reader .Parser .ParseContext
11
11
import org .jline .reader ._
12
+ import org .jline .reader .impl .LineReaderImpl
12
13
import org .jline .reader .impl .history .DefaultHistory
13
14
import org .jline .terminal .TerminalBuilder
14
15
import org .jline .utils .AttributedString
@@ -60,6 +61,8 @@ final class JLineTerminal extends java.io.Closeable {
60
61
// this is supplied from the EOFError.getMissing() method
61
62
.variable(LIST_MAX , 400 ) // Ask user when number of completions exceed this limit (default is 100).
62
63
.variable(BLINK_MATCHING_PAREN , 0L ) // Don't blink the opening paren after typing a closing paren.
64
+ .variable(WORDCHARS ,
65
+ LineReaderImpl .DEFAULT_WORDCHARS .filterNot(" *?.[]~=/&;!#%^(){}<>" .toSet)) // Finer grained word boundaries
63
66
.option(INSERT_TAB , true ) // At the beginning of the line, insert tab instead of completing.
64
67
.option(AUTO_FRESH_LINE , true ) // if not at start of line before prompt, move to new line.
65
68
.option(DISABLE_EVENT_EXPANSION , true ) // don't process escape sequences in input
@@ -76,6 +79,8 @@ final class JLineTerminal extends java.io.Closeable {
76
79
val highlighted = SyntaxHighlighting .highlight(buffer)
77
80
AttributedString .fromAnsi(highlighted)
78
81
}
82
+ def setErrorPattern (errorPattern : java.util.regex.Pattern ): Unit = {}
83
+ def setErrorIndex (errorIndex : Int ): Unit = {}
79
84
}
80
85
81
86
/** Provide multi-line editing support */
0 commit comments