hopefully fixes unicode test on Windows

usethesource · Apr 7, 2024 · 2b41cf8 · 2b41cf8
1 parent 0687e40
commit 2b41cf8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -294,7 +294,7 @@ static boolean isUTF8enabled(PrintWriter writer, InputStream in) {
                 int diff = newPos - pos;
 
                 try {
-                    return diff == 2;
+                    return diff < 3;
                 }
                 finally {
                     while (--diff >= 0) {