some cleanup

usethesource · Jun 24, 2024 · e3248de · e3248de
1 parent 3034ebd
commit e3248de
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 17 deletions.
diff --git a/src/org/rascalmpl/library/Messages.java b/src/org/rascalmpl/library/Messages.java
@@ -1,16 +1,13 @@
 package org.rascalmpl.library;
 
-import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.util.stream.Collectors;
 import java.util.stream.Stream;
 
-import org.rascalmpl.library.util.PathConfig;
 import org.rascalmpl.values.IRascalValueFactory;
 
 import io.usethesource.vallang.IConstructor;
 import io.usethesource.vallang.IList;
-import io.usethesource.vallang.ISet;
 import io.usethesource.vallang.ISourceLocation;
 import io.usethesource.vallang.IString;
 import io.usethesource.vallang.IValue;
@@ -108,7 +105,7 @@ public static void write(IList messages, PrintWriter out) {
                 out.println("[ERROR]  " + output);
             }
             else if (isWarning) {
-                out.println("[WARNING]" + output)
+                out.println("[WARNING]" + output);
             }
             else {
                 out.println("[INFO]   " + output);

diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -439,14 +439,6 @@ static String moveUp(int n) {
             return "\u001B[" + n + "F";
         }
 
-        static String overlined() {
-            return "\u001B[53m";
-        }
-
-        static String underlined() {
-            return "\u001B[4m";
-        }
-
         public static String printCursorPosition() {
             return "\u001B[6n";
         }
@@ -458,11 +450,7 @@ public static String noBackground() {
         public static String normal() {
             return "\u001B[0m";
         }
-
-        public static String lightBackground() {
-            return "\u001B[48;5;250m";
-        }
-
+
         static String moveDown(int n) {
             return "\u001B[" + n + "E";
         }