[PATCH v2] Add line-number styling

[Keith Seitz]

On 9/28/24 2:16 PM, Tom Tromey wrote:
> 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.

Hi, Tom, thanks for addressing this issue. While it took me some
time to figure out the TUI changes, I've convinced myself that
everything looks good. [I am not particularly conversant in the
TUI!]

Reviewed-by: Keith Seitz <keiths@redhat.com>

Keith