tree f7c92c61df329414d9e57a31c9f034750992e7ec
parent 7ecf0250f7f0868f3b828ffadd47d0e5f2dbd875
author Tom Tromey <tom@tromey.com> 1726348037 -0600
committer Tom Tromey <tom@tromey.com> 1727724215 -0600

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>