A knob to control source highlighting?

[Simon Marchi]

On 2019-03-07 09:40, Eli Zaretskii wrote:
> After using the source-highlight'ed GDB for a while, I think that some
> users will want to disable that, but still leave GDB's own
> highlighting of functions, file names, and addresses.  That's because
> it looks like customizing source-highlight colors is much more
> complicated than GDB colors, and also any such customization will have
> global effect, there doesn't seem to be a way to change the colors
> only for a single application that uses the source-highlight library.
> 
> So maybe we should have an option that disables source highlighting?
> Something like "set style source off", say?  What do people think?

I agree.

Simon