diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-02 23:48:37 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-02 23:48:37 +0000 |
| commit | 6da787a878c938e680f13808dee254beacefbd43 (patch) | |
| tree | 7c7b4d4f6655b210e33ca51f656f4552c9326ed3 /readline/terminal.c | |
| parent | 1392c9fbbf6fe8811e5374356b7fdf3b389068ab (diff) | |
| download | gdb-6da787a878c938e680f13808dee254beacefbd43.tar.gz | |
import gdb-1999-08-02 snapshot
Diffstat (limited to 'readline/terminal.c')
| -rw-r--r-- | readline/terminal.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/readline/terminal.c b/readline/terminal.c index f5326387218..a1fcc25400e 100644 --- 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; |