Skip to content

Commit 30cf1b2

Browse files
committed
Make sure to respect the terminal capabilities when building a REPL
1 parent 625fcda commit 30cf1b2

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

src/org/rascalmpl/repl/rascal/RascalReplServices.java

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@
3838
import org.jline.reader.CompletionMatcher;
3939
import org.jline.reader.Parser;
4040
import org.jline.terminal.Terminal;
41+
import org.rascalmpl.debug.IRascalMonitor;
4142
import org.rascalmpl.ideservices.IDEServices;
4243
import org.rascalmpl.parser.gtd.exception.ParseError;
4344
import org.rascalmpl.repl.IREPLService;
@@ -83,9 +84,9 @@ public IDEServices connect(Terminal term, boolean ansiColorsSupported, boolean u
8384
}
8485
this.term = term;
8586
this.unicodeSupported = unicodeSupported;
86-
var monitor = new TerminalProgressBarMonitor(term);
87-
out = monitor;
88-
err = StreamUtil.generateErrorStream(term, monitor);
87+
var monitor = IRascalMonitor.buildConsoleMonitor(term);
88+
out = monitor instanceof PrintWriter ? (PrintWriter)monitor : term.writer();
89+
err = StreamUtil.generateErrorStream(term, out);
8990
return lang.initialize(term.reader(), out, err, monitor, term);
9091
}
9192

0 commit comments

Comments
 (0)