diff options
author | Thomas Hebb <tommyhebb@gmail.com> | 2018-03-07 13:47:57 -0500 |
---|---|---|
committer | Thomas Hebb <tommyhebb@gmail.com> | 2018-03-07 13:53:04 -0500 |
commit | 296fd47808c5642903a81bf6a87bf291ae15abfd (patch) | |
tree | 1fe8a0e78cf5de7b826cfa2f584e224bfe94f147 /vernac/search.ml | |
parent | 144517d764f11b8b79e8f7adfeca0d075dd4ac19 (diff) |
[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).
Diffstat (limited to 'vernac/search.ml')
0 files changed, 0 insertions, 0 deletions