A knob to control source highlighting?

[Eli Zaretskii]

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?