| commit | 887ae0cf2be5cb10d68b14f16df8faf666f4e43b | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sat Sep 14 15:07:17 2024 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Mon Sep 30 13:23:35 2024 -0600 |
| tree | f7c92c61df329414d9e57a31c9f034750992e7ec | |
| parent | 7ecf0250f7f0868f3b828ffadd47d0e5f2dbd875 [diff] |
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>