diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 18ae7e86dfc..6bc2507a47e 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -841,6 +841,11 @@ update: | |||
| 841 | 841 | ||
| 842 | /* Change frame size now if a change is pending. */ | 842 | /* Change frame size now if a change is pending. */ |
| 843 | do_pending_window_change (); | 843 | do_pending_window_change (); |
| 844 | |||
| 845 | /* If we just did a pending size change, redisplay again | ||
| 846 | for the new size. */ | ||
| 847 | if (windows_or_buffers_changed) | ||
| 848 | redisplay (); | ||
| 844 | } | 849 | } |
| 845 | 850 | ||
| 846 | /* Redisplay, but leave alone any recent echo area message | 851 | /* Redisplay, but leave alone any recent echo area message |