[PATCH 00/16] Add styling to the gdb CLI and TUI

Eli Zaretskii eliz@gnu.org
Thu Mar 7 14:53:00 GMT 2019


> Date: Thu, 7 Mar 2019 10:02:24 +0400
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Tom Tromey <tom@tromey.com>, gdb-patches@sourceware.org
> 
> > > For me magenta is even darker.  Setting the intensity to bold might be
> > > more acceptable?
> > 
> > Still too dark.  I guess we will need to leave this to personal
> > customizations.
> 
> My idea was to mimick what vim does: It actually has two sets of
> settings, one for dark terminals, and one for bright ones. Each set
> uses similar colors by default, but adapted for the brightness
> of the terminal.

Yes, Emacs does something similar.  But experience taught me that
automatically deducing whether the background is dark or light is a
Pandora box, so I won't suggest this for GDB, where this is after all
just a minor issue (unlike in editors).

But if you meant something like "set style background light" which
will change all the default colors, then I'm with you.  We just need
to come up with agreed-upon sets of colors.



More information about the Gdb-patches mailing list