[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