Clic: stop being colorless.

Writing keyword in `white` was a bad idea for people using a
black-on-white terminal...

This patch replace `white` by the default color for keywords (it
preserves the underline). This does not change the color for
white-on-block terminal (where `white` is the default color), but fix
the issue for all terminals with a clear background
This commit is contained in:
Grégoire Henry 2019-02-27 02:36:06 +01:00 committed by Raphaël Proust
parent e4a5d3c45c
commit 35727d4ac3
No known key found for this signature in database
GPG Key ID: F4B685504488CEC0

View File

@ -404,7 +404,7 @@ let setup_formatter ppf format verbosity =
| "commanddoc" -> Format.fprintf ppf " @[<v 0>"
| "opt" -> push_ansi_format (Some `Green, None, false, false)
| "arg" -> push_ansi_format (Some `Yellow, None, false, false) ; Format.fprintf ppf "<"
| "kwd" -> push_ansi_format (Some `White, None, false, true)
| "kwd" -> push_ansi_format (None, None, false, true)
| "error" -> push_ansi_format (Some `Red, None, true, true)
| "warning" -> push_ansi_format (Some `Yellow, None, true, true)
| "hilight" -> push_ansi_format (Some `White, Some `Yellow, true, true)