Merge pull request #1908 from linuswagner/main

Remove black color from Rascal prompt
usethesource · Jan 15, 2024 · 5b6c301 · 5b6c301
2 parents adb3e12 + bd26194
commit 5b6c301
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() {