Remove black color from Rascal prompt

usethesource · Jan 15, 2024 · bd26194 · bd26194
1 parent d962e8e
commit bd26194
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/repl/BaseREPL.java b/src/org/rascalmpl/repl/BaseREPL.java
@@ -274,7 +274,7 @@ protected void stackTraceRequested() {
     }
 
     private String previousPrompt = "";
-    public static final String PRETTY_PROMPT_PREFIX = Ansi.ansi().reset().bold().fg(Color.BLACK).toString();
+    public static final String PRETTY_PROMPT_PREFIX = Ansi.ansi().reset().bold().toString();
     public static final String PRETTY_PROMPT_POSTFIX = Ansi.ansi().boldOff().reset().toString();
 
     protected void updatePrompt() {