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>
This commit is contained in:
Tom Tromey
2024-09-14 15:07:17 -06:00
parent 7ecf0250f7
commit 887ae0cf2b
28 changed files with 131 additions and 55 deletions

View File

@@ -1007,7 +1007,7 @@ py_print_frame (PyObject *filter, frame_filter_flags flags,
out->text (":");
annotate_frame_source_line ();
out->field_signed ("line", line);
out->field_signed ("line", line, line_number_style.style ());
}
}
if (out->is_mi_like_p ())

View File

@@ -86,7 +86,8 @@ py_ui_out::do_end (ui_out_type type)
void
py_ui_out::do_field_signed (int fldno, int width, ui_align align,
const char *fldname, LONGEST value)
const char *fldname, LONGEST value,
const ui_file_style &style)
{
if (m_error.has_value ())
return;

View File

@@ -86,7 +86,8 @@ protected:
void do_end (ui_out_type type) override;
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;
void do_field_unsigned (int fldno, int width, ui_align align,
const char *fldname, ULONGEST value) override;