# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 980519837 0
# Node ID 3e7efd5ea1dac2046d95d3fed6b23f83bfa92650
# Parent  1e1f98e3d9821ac7e8b067008b906b43b2b6e0bb
(do_switch_frame): If selected frame has a mini-window,
resize that to exact size.

diff -r 1e1f98e3d982 -r 3e7efd5ea1da src/frame.c
--- a/src/frame.c	Fri Jan 26 14:19:34 2001 +0000
+++ b/src/frame.c	Fri Jan 26 14:37:17 2001 +0000
@@ -620,6 +620,9 @@
 #endif /* HAVE_X_WINDOWS */
 #endif /* ! 0 */
 
+  if (FRAME_HAS_MINIBUF_P (sf))
+    resize_mini_window (XWINDOW (FRAME_MINIBUF_WINDOW (sf)), 1);
+
   selected_frame = frame;
   if (! FRAME_MINIBUF_ONLY_P (XFRAME (selected_frame)))
     last_nonminibuf_frame = XFRAME (selected_frame);