diff options
| author | Hannes Domani <ssbssa@yahoo.de> | 2020-12-21 13:52:03 +0100 |
|---|---|---|
| committer | Hannes Domani <ssbssa@yahoo.de> | 2021-01-05 14:08:26 +0100 |
| commit | 1b6d4bb2232ff9fd692a332a491b95b5f4052dfe (patch) | |
| tree | b054343d7833c17765333330567b6e94d594ea74 | |
| parent | b5ff370e964a5a794a6b5791ca55ac103ebffe70 (diff) | |
| download | gdb-1b6d4bb2232ff9fd692a332a491b95b5f4052dfe.zip gdb-1b6d4bb2232ff9fd692a332a491b95b5f4052dfe.tar.gz gdb-1b6d4bb2232ff9fd692a332a491b95b5f4052dfe.tar.bz2 | |
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.
| -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); } |