[PATCH 2/4] Redraw both spaces between line numbers and source code

[Hannes Domani]

 Am Montag, 4. Januar 2021, 21:44:59 MEZ hat Tom Tromey <tom@tromey.com> Folgendes geschrieben:

> >>>>> "Hannes" == Hannes Domani via Gdb-patches <gdb-patches@sourceware.org> writes:
>
> Hannes> 2020-12-21  Hannes Domani  <ssbssa@yahoo.de>
>
> Hannes>     * tui/tui-source.c (tui_source_window::show_line_number):
> Hannes>     Redraw second space after line number.
>
> Thanks for the patch.
>
> Hannes> -  xsnprintf (text, sizeof (text), "%*d ", m_digits - 1, lineno);
> Hannes> +  xsnprintf (text, sizeof (text), "%*d  ", m_digits - 1, lineno);
>
> Would you mind adding a brief comment here explaining the need for two
> spaces?  I think that may prove useful in the future.  This is ok with
> this tweak.

Pushed with an added comment, thanks.


Hannes