Enable color prompt by default

gap-system · Feb 19, 2021 · 33da016 · 33da016
1 parent 6571212
commit 33da016
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/colorprompt.g b/lib/colorprompt.g
@@ -205,7 +205,7 @@ DeclareUserPreference( rec(
 run GAP such that the prompts, the input and output are distinguished \
 by colors. Options are 'true', 'false' or some record as explained in \
 the help section for 'ColorPrompt'." ],
-  default:= false,
+  default:= true,
   check:= val -> val in [ true, false ] or IsRecord( val ),
   ) );