From d99bdfe43a86ff6354084a84195b994b47de6edd Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Fri, 20 Oct 2023 17:58:47 +0200 Subject: [PATCH] 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. --- sweep.pl | 3 +++ 1 file changed, 3 insertions(+) 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)), -- 2.39.5