[__GO32__]: Don't undef HANDLE_SIGNALS if __DJGPP__ is defined.

[deliverable/binutils-gdb.git] / readline / terminal.c

diff --git a/readline/terminal.c b/readline/terminal.c
index f532638721826748b13fdc83b78a0b7d17f7dfb8..a1fcc25400ea8de73a6110cffee65f38b676a8ee 100644 (file)
--- a/readline/terminal.c
+++ b/readline/terminal.c
@@ -236,6 +236,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;