From 9d6552d9528eace5234a9b510725ed20e095f0cb Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 18 Feb 2021 12:24:00 +0100 Subject: [PATCH] Enable color prompt by default --- lib/colorprompt.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/colorprompt.g b/lib/colorprompt.g index 44706c3e5d..921dead04c 100644 --- 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 ), ) );