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

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> Nothing built in, this is a longstanding issue when adding new settings
>> to gdb.

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

Seems reasonable to me.

Something I've done in the past is have an "ignore-errors" command in
Python so I can just "ignore-errors set some-new-thing ...".

Tom