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/cli-out.h | |
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/cli-out.h')
-rw-r--r-- | gdb/cli-out.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/cli-out.h b/gdb/cli-out.h index f17cb0c..f0654b2 100644 --- a/gdb/cli-out.h +++ b/gdb/cli-out.h @@ -52,7 +52,8 @@ protected: virtual void do_begin (ui_out_type type, const char *id) override; virtual void do_end (ui_out_type type) override; virtual void do_field_signed (int fldno, int width, ui_align align, - const char *fldname, LONGEST value) override; + const char *fldname, LONGEST value, + const ui_file_style &style) override; virtual void do_field_unsigned (int fldno, int width, ui_align align, const char *fldname, ULONGEST value) override; |