File tree Expand file tree Collapse file tree 1 file changed +6
-5
lines changed
compiler/src/dotty/tools/repl Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -50,11 +50,12 @@ final class JLineTerminal extends java.io.Closeable {
5050 .completer(completer)
5151 .highlighter(new Highlighter )
5252 .parser(new Parser )
53- .variable(SECONDARY_PROMPT_PATTERN , " %M" ) // A short word explaining what is "missing".
54- // This is supplied from the EOFError.getMissing() method
55- .variable(LIST_MAX , 400 ) // ask user when number of completions exceed this limit (default is 100)
56- .option(INSERT_TAB , true ) // at the beginning of the line, insert tab instead of completing
57- .option(AUTO_FRESH_LINE , true ) // if not at start of line before prompt, move to new line
53+ .variable(SECONDARY_PROMPT_PATTERN , " %M" ) // A short word explaining what is "missing",
54+ // this is supplied from the EOFError.getMissing() method
55+ .variable(LIST_MAX , 400 ) // Ask user when number of completions exceed this limit (default is 100).
56+ .variable(BLINK_MATCHING_PAREN , 0L ) // Don't blink the opening paren after typing a closing paren.
57+ .option(INSERT_TAB , true ) // At the beginning of the line, insert tab instead of completing.
58+ .option(AUTO_FRESH_LINE , true ) // if not at start of line before prompt, move to new line.
5859 .build()
5960
6061 lineReader.readLine(prompt)
You can’t perform that action at this time.
0 commit comments