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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 7716ff9b1aad49a508ab8d154aba4b5a3b18f0e6..20ceaa26ae7195dacfeba7ac12822ed94d43c9bc 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2021-01-05  Hannes Domani  <ssbssa@yahoo.de>
+
+       * tui/tui-source.c (tui_source_window::show_line_number):
+       Redraw second space after line number.
+
 2021-01-05  Hannes Domani  <ssbssa@yahoo.de>
 
        PR tui/26927

diff --git a/gdb/tui/tui-source.c b/gdb/tui/tui-source.c
index 6254e8d7f16ac3da40928ee227432a2d361536db..97500495f9d2d5702bea6320b155e9b6c453c4f7 100644 (file)
--- a/gdb/tui/tui-source.c
+++ b/gdb/tui/tui-source.c
@@ -233,6 +233,8 @@ tui_source_window::show_line_number (int offset) const
 {
   int lineno = m_content[0].line_or_addr.u.line_no + offset;
   char text[20];
-  xsnprintf (text, sizeof (text), "%*d ", m_digits - 1, lineno);
+  /* To completely overwrite the previous border when the source window height
+     is increased, both spaces after the line number have to be redrawn.  */
+  xsnprintf (text, sizeof (text), "%*d  ", m_digits - 1, lineno);
   waddstr (handle.get (), text);
 }