diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 13:27:35 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 13:27:35 +0100 |
commit | 2069c0aec44a50031e33bcb9f7d86c1535ef6b84 (patch) | |
tree | f1fb49a4d56af2579b7c9f602e5766e6f7e6daea /toplevel | |
parent | ff947d85f8b8921e401b693e47c52504c71f9c4c (diff) | |
parent | 296fd47808c5642903a81bf6a87bf291ae15abfd (diff) |
Merge PR #6941: [toplevel] Respect COQ_COLORS environment variable
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 341888d09..cd831c05c 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -344,13 +344,13 @@ let init_color color_mode = match colors with | None -> (** Default colors *) + Topfmt.default_styles (); Topfmt.init_terminal_output ~color:true | Some "" -> (** No color output *) Topfmt.init_terminal_output ~color:false | Some s -> (** Overwrite all colors *) - Topfmt.clear_styles (); Topfmt.parse_color_config s; Topfmt.init_terminal_output ~color:true end |