Re: bright colors with GNOME Terminal / 256-color terminals

2018-12-18 Thread Vincent Lefevre
On 2018-12-17 18:35:21 -0600, Derek Martin wrote: > In xterm, there are resources that affect how bold and italics are > rendered on your terminal window. The problem, AFAIK, is that the > gnome developers in their infinite wisdom decided to make > gnome-terminal use xterm-256color by default, giv

Re: bright colors with GNOME Terminal / 256-color terminals

2018-12-18 Thread Vincent Lefevre
On 2018-12-17 12:45:22 -0800, Kevin J. McCarthy wrote: > On Mon, Dec 17, 2018 at 03:41:36AM +0100, Vincent Lefevre wrote: > > If one chooses to support "bold" for terminals with >= 16 colors, > > I think that instead of "boldbright", the "bold" prefix would be > > sufficient, because when the bold

Re: bright colors with GNOME Terminal / 256-color terminals

2018-12-18 Thread Kevin J. McCarthy
On Tue, Dec 18, 2018 at 01:40:33PM +0100, Vincent Lefevre wrote: With the suggestion I've just done in my reply to Derek, I can propose for foreground colors: #colors < 16 >= 16 light A_BOLD + 8 bright A_BOLDA_BOLD(as currently) and for background colors, both "l