Remove tui_refresh_cmd_win

tui_refresh_cmd_win is no longer needed and can be replaced with a
call to the refresh_window method.

diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c
index 2060a36b0626636c13d2129deadea51567cabefb..677721d734c67b82a37e3a33f92f0a49f9fab1ce 100644 (file)
--- a/gdb/tui/tui-command.c
+++ b/gdb/tui/tui-command.c
@@ -51,11 +51,3 @@ tui_cmd_window::resize (int height_, int width_, int origin_x, int origin_y)
       wmove (handle.get (), 0, 0);
     }
 }
-
-/* See tui-command.h.  */
-
-void
-tui_refresh_cmd_win (void)
-{
-  tui_cmd_win ()->refresh_window ();
-}

diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h
index 666b8f59c3c83132850f9c376cd66209102382e8..f167d959c2cf7f6ad60f57b9b8a58f21226a3ae3 100644 (file)
--- a/gdb/tui/tui-command.h
+++ b/gdb/tui/tui-command.h
@@ -62,7 +62,4 @@ tui_cmd_win ()
   return dynamic_cast<tui_cmd_window *> (tui_win_list[CMD_WIN]);
 }
 
-/* Refresh the command window.  */
-extern void tui_refresh_cmd_win (void);
-
 #endif /* TUI_TUI_COMMAND_H */

diff --git a/gdb/tui/tui-file.c b/gdb/tui/tui-file.c
index 78781909b1c38ff2a485985e4196ce03ad4d88d2..17ac1384ecfac31a6885cccc4f96545ba78ab5cf 100644 (file)
--- a/gdb/tui/tui-file.c
+++ b/gdb/tui/tui-file.c
@@ -25,7 +25,7 @@ tui_file::puts (const char *linebuffer)
 {
   tui_puts (linebuffer);
   if (!m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
 }
 
 void
@@ -33,13 +33,13 @@ tui_file::write (const char *buf, long length_buf)
 {
   tui_write (buf, length_buf);
   if (!m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
 }
 
 void
 tui_file::flush ()
 {
   if (m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
   stdio_file::flush ();
 }