diff options
| author | Tom Tromey <tom@tromey.com> | 2024-09-14 15:07:17 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2024-09-30 13:23:35 -0600 |
| commit | 887ae0cf2be5cb10d68b14f16df8faf666f4e43b (patch) | |
| tree | f7c92c61df329414d9e57a31c9f034750992e7ec /gdb/doc | |
| parent | 7ecf0250f7f0868f3b828ffadd47d0e5f2dbd875 (diff) | |
| download | gdb-887ae0cf2be5cb10d68b14f16df8faf666f4e43b.zip gdb-887ae0cf2be5cb10d68b14f16df8faf666f4e43b.tar.gz gdb-887ae0cf2be5cb10d68b14f16df8faf666f4e43b.tar.bz2 | |
Add line-number styling
This patch adds separate styling for line numbers. That is, whenever
gdb prints a source line number, it uses this style.
v2 includes a change to ensure that %ps works in query.
Reviewed-By: Eli Zaretskii <eliz@gnu.org>
Reviewed-by: Keith Seitz <keiths@redhat.com>
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 86f25e9..cc1b69c 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -27852,6 +27852,10 @@ if @value{GDBN} is using its builtin disassembler library for styling (@pxref{style_disassembler_enabled,,@kbd{set style disassembler enabled}}). +@item line-number +Control the styling of line numbers. By default, this style's +intensity is dim. + @item variable Control the styling of variable names. These are managed with the @code{set style variable} family of commands. By default, this style's |