Cherry-picking the fix in 4c14ae6

usethesource · Jan 2, 2025 · 993af6d · 993af6d
1 parent b516619
commit 993af6d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -531,9 +531,7 @@ public synchronized int jobEnd(String name, boolean succeeded) {
 
         if (pb != null && --pb.nesting == -1) {
             eraseBars();
-            // write it one last time into the scrollback buffer (on top)
             pb.done();
-            pb.write();
             bars.remove(pb);
             // print the left over bars under this one.
             printBars();