From a35cc8ff85af39f571dcba2446ed47b6c65ddca9 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sat, 29 Jun 2024 10:07:20 -0600 Subject: Remove tui_wrefresh This removes tui_wrefresh, moving the code into refresh_window. We remove tui_norefresh_window as well, because now the command window's refresh_window has to do what tui_wrefresh previously did. --- gdb/python/py-tui.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gdb/python/py-tui.c') diff --git a/gdb/python/py-tui.c b/gdb/python/py-tui.c index b3544c6..8ad2b7d 100644 --- a/gdb/python/py-tui.c +++ b/gdb/python/py-tui.c @@ -95,7 +95,7 @@ public: { wnoutrefresh (handle.get ()); touchwin (m_inner_window.get ()); - tui_wrefresh (m_inner_window.get ()); + wnoutrefresh (m_inner_window.get ()); } else tui_win_info::refresh_window (); @@ -275,7 +275,7 @@ tui_py_window::output (const char *text, bool full_window) if (full_window) check_and_display_highlight_if_needed (); else - tui_wrefresh (m_inner_window.get ()); + wnoutrefresh (m_inner_window.get ()); } } -- cgit v1.1