We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 049f70f commit bc2dd5eCopy full SHA for bc2dd5e
compiler/src/dotty/tools/repl/JLineTerminal.scala
@@ -18,7 +18,6 @@ final class JLineTerminal extends java.io.Closeable {
18
// Logger.getLogger("org.jline").setLevel(Level.FINEST)
19
20
private val terminal = TerminalBuilder.builder()
21
- .dumb(false) // fail early if not able to create a terminal
22
.build()
23
private val history = new DefaultHistory
24
0 commit comments