diff options
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/tui/tui-winsource.c | 1 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index f2d04c2..c835fdb 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,11 @@ 2020-09-27 Tom Tromey <tom@tromey.com> + * tui/tui-winsource.c + (tui_source_window_base::set_is_exec_point_at): Don't call + show_source_line. + +2020-09-27 Tom Tromey <tom@tromey.com> + * python/py-tui.c (class tui_py_window) <refresh_window>: New method. <erase>: Update. diff --git a/gdb/tui/tui-winsource.c b/gdb/tui/tui-winsource.c index db0add9..6723bad 100644 --- a/gdb/tui/tui-winsource.c +++ b/gdb/tui/tui-winsource.c @@ -411,7 +411,6 @@ tui_source_window_base::set_is_exec_point_at (struct tui_line_or_address l) { changed = true; m_content[i].is_exec_point = new_state; - show_source_line (i + 1); } i++; } |