From 887ae0cf2be5cb10d68b14f16df8faf666f4e43b Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sat, 14 Sep 2024 15:07:17 -0600 Subject: 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 Reviewed-by: Keith Seitz --- gdb/python/py-mi.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gdb/python/py-mi.c') diff --git a/gdb/python/py-mi.c b/gdb/python/py-mi.c index 632de10..f0e28d9 100644 --- a/gdb/python/py-mi.c +++ b/gdb/python/py-mi.c @@ -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; -- cgit v1.1