Redraw both spaces between line numbers and source code
authorHannes Domani <ssbssa@yahoo.de>
Mon, 21 Dec 2020 12:52:03 +0000 (13:52 +0100)
committerHannes Domani <ssbssa@yahoo.de>
Tue, 5 Jan 2021 13:08:26 +0000 (14:08 +0100)
commit1b6d4bb2232ff9fd692a332a491b95b5f4052dfe
treeb054343d7833c17765333330567b6e94d594ea74
parentb5ff370e964a5a794a6b5791ca55ac103ebffe70
Redraw both spaces between line numbers and source code

There a 2 spaces between the numbers and source code, but only one of
them was redrawn.
So if you increase the source window height, the second space keeps the
character of the border rectangle.

With this both spaces are redrawn, so the border rectangle character is
overwritten.

gdb/ChangeLog:

2021-01-05  Hannes Domani  <ssbssa@yahoo.de>

* tui/tui-source.c (tui_source_window::show_line_number):
Redraw second space after line number.
gdb/ChangeLog
gdb/tui/tui-source.c