Updated comment

This commit is contained in:
Robert Ian Hawdon
2025-07-09 11:35:44 +01:00
parent 57fdfe76bb
commit 94cca0cc17

View File

@ -2825,8 +2825,8 @@ else
/// This can be set to a specific color, using the same format as /// This can be set to a specific color, using the same format as
/// `background` or `foreground` (e.g. `#RRGGBB` but other formats /// `background` or `foreground` (e.g. `#RRGGBB` but other formats
/// are also supported; see the aforementioned documentation). If a /// are also supported; see the aforementioned documentation). If a
/// specific color is set, this color will always be used for all /// specific color is set, this color will always be used for the default
/// bold text regardless of the terminal's color scheme. /// bold text color. It will set the rest of the bold colors to `bright`.
/// ///
/// This can also be set to `bright`, which uses the bright color palette /// This can also be set to `bright`, which uses the bright color palette
/// for bold text. For example, if the text is red, then the bold will /// for bold text. For example, if the text is red, then the bold will