diff options
Diffstat (limited to 'gdb/tui')
-rw-r--r-- | gdb/tui/tui-command.c | 4 | ||||
-rw-r--r-- | gdb/tui/tui-command.h | 3 | ||||
-rw-r--r-- | gdb/tui/tui-data.h | 9 | ||||
-rw-r--r-- | gdb/tui/tui-wingeneral.c | 10 | ||||
-rw-r--r-- | gdb/tui/tui-wingeneral.h | 4 |
5 files changed, 3 insertions, 27 deletions
diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c index b9bc19e..2060a36 100644 --- a/gdb/tui/tui-command.c +++ b/gdb/tui/tui-command.c @@ -57,7 +57,5 @@ tui_cmd_window::resize (int height_, int width_, int origin_x, int origin_y) void tui_refresh_cmd_win (void) { - WINDOW *w = tui_cmd_win ()->handle.get (); - - tui_wrefresh (w); + tui_cmd_win ()->refresh_window (); } diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h index 90b8de7..666b8f5 100644 --- a/gdb/tui/tui-command.h +++ b/gdb/tui/tui-command.h @@ -26,8 +26,7 @@ /* The TUI command window. */ struct tui_cmd_window - : public tui_noscroll_window, tui_nobox_window, tui_norefresh_window, - tui_always_visible_window + : public tui_noscroll_window, tui_nobox_window, tui_always_visible_window { tui_cmd_window () = default; diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index 14c9b87..79a4163 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -253,15 +253,6 @@ struct tui_nobox_window : public virtual tui_win_info } }; -/* A TUI window that is not refreshed. */ - -struct tui_norefresh_window : public virtual tui_win_info -{ - virtual void refresh_window () final override - { - } -}; - /* A TUI window that is always visible. */ struct tui_always_visible_window : public virtual tui_win_info diff --git a/gdb/tui/tui-wingeneral.c b/gdb/tui/tui-wingeneral.c index 963a165..369d152 100644 --- a/gdb/tui/tui-wingeneral.c +++ b/gdb/tui/tui-wingeneral.c @@ -53,18 +53,10 @@ tui_batch_rendering::~tui_batch_rendering () /* See tui-data.h. */ void -tui_wrefresh (WINDOW *win) -{ - wnoutrefresh (win); -} - -/* See tui-data.h. */ - -void tui_win_info::refresh_window () { if (handle != NULL) - tui_wrefresh (handle.get ()); + wnoutrefresh (handle.get ()); } /* Draw a border around the window. */ diff --git a/gdb/tui/tui-wingeneral.h b/gdb/tui/tui-wingeneral.h index 6387afd..83ecb7d 100644 --- a/gdb/tui/tui-wingeneral.h +++ b/gdb/tui/tui-wingeneral.h @@ -50,8 +50,4 @@ private: bool m_saved_suppress; }; -/* Call wrefresh on the given window. However, if output is being - suppressed via tui_suppress_output, do not call wrefresh. */ -extern void tui_wrefresh (WINDOW *win); - #endif /* TUI_TUI_WINGENERAL_H */ |