diff options
Diffstat (limited to 'gdb/tui/tui-wingeneral.c')
| -rw-r--r-- | gdb/tui/tui-wingeneral.c | 10 |
1 files changed, 1 insertions, 9 deletions
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. */ |