diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 5ad0cef63db..d3f20c0b0f6 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -5507,13 +5507,14 @@ resize_mini_window (w, exact_p) | |||
| 5507 | || BEGV == ZV) | 5507 | || BEGV == ZV) |
| 5508 | { | 5508 | { |
| 5509 | Lisp_Object old_selected_window; | 5509 | Lisp_Object old_selected_window; |
| 5510 | int old_height = XFASTINT (w->height); | ||
| 5510 | 5511 | ||
| 5511 | freeze_window_starts (f, height > XFASTINT (w->height)); | 5512 | freeze_window_starts (f, height > XFASTINT (w->height)); |
| 5512 | old_selected_window = selected_window; | 5513 | old_selected_window = selected_window; |
| 5513 | XSETWINDOW (selected_window, w); | 5514 | XSETWINDOW (selected_window, w); |
| 5514 | change_window_height (height - XFASTINT (w->height), 0); | 5515 | change_window_height (height - XFASTINT (w->height), 0); |
| 5515 | selected_window = old_selected_window; | 5516 | selected_window = old_selected_window; |
| 5516 | window_height_changed_p = 1; | 5517 | window_height_changed_p = XFASTINT (w->height) != old_height; |
| 5517 | } | 5518 | } |
| 5518 | } | 5519 | } |
| 5519 | 5520 | ||