aboutsummaryrefslogtreecommitdiff
path: root/gdb/tui
diff options
context:
space:
mode:
Diffstat (limited to 'gdb/tui')
-rw-r--r--gdb/tui/tui-command.c4
-rw-r--r--gdb/tui/tui-command.h3
-rw-r--r--gdb/tui/tui-data.h9
-rw-r--r--gdb/tui/tui-wingeneral.c10
-rw-r--r--gdb/tui/tui-wingeneral.h4
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 */