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/infcmd.c | |
| 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/infcmd.c')
| -rw-r--r-- | gdb/infcmd.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 5e9af41..74873b9 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1103,7 +1103,9 @@ jump_command (const char *arg, int from_tty) find_pc_mapped_section (sal.pc)); if (fn != nullptr && sfn != fn) { - if (!query (_("Line %d is not in `%s'. Jump anyway? "), sal.line, + if (!query (_("Line %ps is not in `%s'. Jump anyway? "), + styled_string (line_number_style.style (), + pulongest (sal.line)), fn->print_name ())) { error (_("Not confirmed.")); |