diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/tui/tui-source.c | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 7716ff9..20ceaa2 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 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 * tui/tui-winsource.c (tui_source_window_base::refresh_window): Fix source pad size in prefresh. diff --git a/gdb/tui/tui-source.c b/gdb/tui/tui-source.c index 6254e8d..9750049 100644 --- 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); } |