Imported from ../bash-2.03.tar.gz.

[thirdparty/bash.git] / lib / readline / terminal.c

diff --git a/lib/readline/terminal.c b/lib/readline/terminal.c
index c28669659b02fd3ec7362ad505651e2bc8727597..c22ec5170bd6668e2e158f7f786dc98e9a624523 100644 (file)
--- a/lib/readline/terminal.c
+++ b/lib/readline/terminal.c
@@ -232,6 +232,16 @@ _rl_set_screen_size (rows, cols)
   screenchars = screenwidth * screenheight;
 }
 
+void
+rl_resize_terminal ()
+{
+  if (readline_echoing_p)
+    {
+      _rl_get_screen_size (fileno (rl_instream), 1);
+      _rl_redisplay_after_sigwinch ();
+    }
+}
+
 struct _tc_string {
      char *tc_var;
      char **tc_value;