On Tue, Jul 18, 2023 at 12:27 PM Jim <linux.tech.guy@xxxxxxxxx> wrote:
>
>
> I get the same results with your code. But the patch has to do with ${color[bold]}.
> Without faint the result of bold is the same for <color> and <bright-color>. With
> faint the result is different intensity.
I haven't been following this discussion very closely. It's not
unlikely that my comment will miss the mark.
Most graphical terminal emulators have an option that controls the
FWIW, I always uncheck "Show bold text in bright colors" or its
equivalent in all terminals that I use. I want "bold" to mean the same
thing in the terminal as everywhere else: use the bold font, keep the
same color. In addition, I find it counterintuitive when bold text
changes its color ONLY if the original color was in 0-7.
Roman.
Attachment:
script_text_output_xfcd_bold_off.png
Description: PNG image
Attachment:
script_text_output_xfcd_bold_on.png
Description: PNG image
Attachment:
txt_xfce_bold_off.png
Description: PNG image
Attachment:
script_output_xfce_bold_on.png
Description: PNG image
Attachment:
txt_w_xfce_bold_on.png
Description: PNG image
Attachment:
script_output_xfce_bold_off.png
Description: PNG image