[PATCH] gdb/configure.ac: add --enable-source-highlight
Tom Tromey
tom@tromey.com
Mon Mar 18 16:02:00 GMT 2019
>>>>> "Sergio" == Sergio Durigan Junior <sergiodj@redhat.com> writes:
Sergio> Something Keith and I were talking about the other day is adding a
Sergio> command line switch to enable/disable source highlight, so the user can
Sergio> do:
Sergio> gdb --disable-source-highlight ...
Sergio> (or some such)
Sergio> WDYT?
FWIW you can "set style source off" now.
Tom
More information about the Gdb-patches
mailing list