[gdb/tui] Revert workaround in tui_source_window::show_line_number
authorTom de Vries <tdevries@suse.de>
Wed, 12 Apr 2023 22:18:12 +0000 (00:18 +0200)
committerTom de Vries <tdevries@suse.de>
Wed, 12 Apr 2023 22:18:12 +0000 (00:18 +0200)
commit22e59dae5956999402d8d9b798412b90bf3b4d9c
tree31d9da5fa227d3d1c33ebf2b5f99179e67d487a6
parent5479c4c7c9e7179d95c6520cdef98ae175874cab
[gdb/tui] Revert workaround in tui_source_window::show_line_number

The m_digits member of tui_source_window is documented as having semantics:
...
  /* How many digits to use when formatting the line number.  This
     includes the trailing space.  */
...

The commit 1b6d4bb2232 ("Redraw both spaces between line numbers and source
code") started printing two trailing spaces instead:
...
-  xsnprintf (text, sizeof (text), "%*d ", m_digits - 1, lineno);
+  xsnprintf (text, sizeof (text), "%*d  ", m_digits - 1, lineno);
...

Now that PR30325 is fixed, this no longer has any effect.

Fix this by reverting to the original behaviour: print one trailing space
char.

Tested on x86_64-linux.

Approved-By: Tom Tromey <tom@tromey.com>
gdb/tui/tui-source.c