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

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>,  gdb-patches@sourceware.org
> Date: Mon, 04 Mar 2019 08:01:49 -0700
> 
> Eli>  . The default foreground color used for addresses, blue, is too dark
> Eli>    when the terminal's background is black.  Maybe we should change to
> Eli>    magenta, which should look OK on both dark and light backgrounds.
> 
> 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.

> Eli> And one more issue, only tangentially related: if I put on my
> Eli> ~/.gdbinit settings that customize style, older versions of GDB
> Eli> complain when they start up, because they don't know about styles.  Is
> Eli> there any way of conditioning scripting commands on the GDB version,
> Eli> or some other way of avoiding such problems?
> 
> Nothing built in, this is a longstanding issue when adding new settings
> to gdb.

What do you think about the idea to add a convenience variable that
would provide the GDB version?