From 1b6d4bb2232ff9fd692a332a491b95b5f4052dfe Mon Sep 17 00:00:00 2001 From: Hannes Domani Date: Mon, 21 Dec 2020 13:52:03 +0100 Subject: [PATCH] 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 * tui/tui-source.c (tui_source_window::show_line_number): Redraw second space after line number. --- gdb/ChangeLog | 5 +++++ gdb/tui/tui-source.c | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 7716ff9b1aa..20ceaa26ae7 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2021-01-05 Hannes Domani + + * tui/tui-source.c (tui_source_window::show_line_number): + Redraw second space after line number. + 2021-01-05 Hannes Domani PR tui/26927 diff --git a/gdb/tui/tui-source.c b/gdb/tui/tui-source.c index 6254e8d7f16..97500495f9d 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); } -- 2.30.2