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
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
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