This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
A knob to control source highlighting?
- From: Eli Zaretskii <eliz at gnu dot org>
- To: gdb-patches at sourceware dot org
- Date: Thu, 07 Mar 2019 16:40:04 +0200
- Subject: 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?