This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] gdb/configure.ac: add --enable-source-highlight
- From: Tom Tromey <tom at tromey dot com>
- To: Sergio Durigan Junior <sergiodj at redhat dot com>
- Cc: Sergei Trofimovich <slyfox at gentoo dot org>, Tom Tromey <tom at tromey dot com>, gdb-patches at sourceware dot org
- Date: Mon, 18 Mar 2019 10:01:55 -0600
- Subject: Re: [PATCH] gdb/configure.ac: add --enable-source-highlight
- References: <20190313215020.11959-1-slyfox@gentoo.org> <87k1h0b4ql.fsf@tromey.com> <20190317224720.181c95af@sf> <8736nkrg8c.fsf@redhat.com>
>>>>> "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