diff options
| author | Tom Tromey <tom@tromey.com> | 2024-05-18 11:35:32 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2024-12-12 20:18:23 -0700 |
| commit | 9e69a2e127940cc577d4e0c6eefdfe33a31ea397 (patch) | |
| tree | 2cd18c8f6560a6089bf1a88de3dcb86797a3c05d /gdb/NEWS | |
| parent | 62e4d4d3ad68fe17113069b99d80a9ee9df87cb1 (diff) | |
| download | gdb-9e69a2e127940cc577d4e0c6eefdfe33a31ea397.zip gdb-9e69a2e127940cc577d4e0c6eefdfe33a31ea397.tar.gz gdb-9e69a2e127940cc577d4e0c6eefdfe33a31ea397.tar.bz2 | |
Introduce "command" styling
This adds a new "command" style that is used when styling the name of
a gdb command.
Note that not every instance of a command name that is output by gdb
is changed here. There is currently no way to style error() strings,
and there is no way to mark up command help strings.
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31747
Reviewed-By: Eli Zaretskii <eliz@gnu.org>
Reviewed-By: Keith Seitz <keiths@redhat.com>
Approved-By: Andrew Burgess <aburgess@redhat.com>
Diffstat (limited to 'gdb/NEWS')
| -rw-r--r-- | gdb/NEWS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -119,6 +119,11 @@ set style line-number background COLOR set style line-number intensity VALUE Control the styling of line numbers printed by GDB. +set style command foreground COLOR +set style command background COLOR +set style command intensity VALUE + Control the styling of GDB commands when displayed by GDB. + set warn-language-frame-mismatch [on|off] show warn-language-frame-mismatch Control the warning that is emitted when specifying a language that |