This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

A knob to control source highlighting?


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?


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]