This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: A knob to control source highlighting?
- From: Tom Tromey <tom at tromey dot com>
- To: Simon Marchi <simon dot marchi at polymtl dot ca>
- Cc: Eli Zaretskii <eliz at gnu dot org>, gdb-patches at sourceware dot org
- Date: Thu, 07 Mar 2019 14:56:32 -0700
- Subject: Re: A knob to control source highlighting?
- References: <83pnr2bvej.fsf@gnu.org> <2358acd9b1a1deb21f46250f77d8c06f@polymtl.ca>
>>>>> "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes:
>> So maybe we should have an option that disables source highlighting?
>> Something like "set style source off", say? What do people think?
Simon> I agree.
Sounds reasonable to me as well.
Tom