From 296fd47808c5642903a81bf6a87bf291ae15abfd Mon Sep 17 00:00:00 2001 From: Thomas Hebb Date: Wed, 7 Mar 2018 13:47:57 -0500 Subject: [toplevel] Respect COQ_COLORS environment variable Since 3fc02bb2034a ("[pp] Move terminal-specific tagging to the toplevel."), the COQ_COLORS environment variable has been ignored, since init_terminal_output unconditionally called init_tag_map with the default colors, overwriting any custom colors that had been previously set. Fix this by creating a separate function, default_styles, to set the default colors. Also, remove the clear_styles function, as it was only called in one place and did nothing (since tag_map is empty to begin with). --- vernac/topfmt.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'vernac/topfmt.mli') diff --git a/vernac/topfmt.mli b/vernac/topfmt.mli index 2fdefc6fc..579b456a2 100644 --- a/vernac/topfmt.mli +++ b/vernac/topfmt.mli @@ -43,7 +43,7 @@ val std_logger : ?pre_hdr:Pp.t -> Feedback.level -> Pp.t -> unit val emacs_logger : ?pre_hdr:Pp.t -> Feedback.level -> Pp.t -> unit (** Color output *) -val clear_styles : unit -> unit +val default_styles : unit -> unit val parse_color_config : string -> unit val dump_tags : unit -> (string * Terminal.style) list -- cgit v1.2.3