From: Eshel Yaron <me@eshelyaron.com>
Date: Fri, 20 Oct 2023 15:58:47 +0000 (+0200)
Subject: Emit highlighted messages in the top-level
X-Git-Tag: V9.1.17-0.25.5~2
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=d99bdfe43a86ff6354084a84195b994b47de6edd;p=sweep.git

Emit highlighted messages in the top-level

* sweep.pl: Ensure 'library(ansi_term)' gets loaded.
(sweep_top_level_client/4): Set the flag 'verbose' to 'normal' in
order to enable informational messages, and set 'color_term' to 'true'
to enable highlighting when using a pty.
---

diff --git a/sweep.pl b/sweep.pl
index 220c187..a83816f 100644
--- a/sweep.pl
+++ b/sweep.pl
@@ -103,6 +103,7 @@
 
 :- use_module(library(pldoc)).
 :- use_module(library(listing)).
+:- use_module(library(ansi_term)).
 :- use_module(library(prolog_source)).
 :- use_module(library(prolog_colour)).
 :- use_module(library(pldoc/doc_process)).
@@ -819,6 +820,8 @@ sweep_top_level_client(InStream, OutStream, ip(127, 0, 0, 1), TC) :-
     set_prolog_IO(InStream, OutStream, OutStream),
     set_stream(InStream, tty(true)),
     set_prolog_flag(tty_control, TC),
+    set_prolog_flag(verbose, normal),
+    set_prolog_flag(color_term, true),
     current_prolog_flag(encoding, Enc),
     set_stream(user_input, encoding(Enc)),
     set_stream(user_output, encoding(Enc)),