On Wed, Sep 23, 2009 at 09:28, martin rudalics <rudalics@gmx.at> wrote:

> The following part in `resize_mini_window' doesn't strike me as very
> elegant in this respect:
>
>              if (height)
>                {
>                  freeze_window_starts (f, 1);
>                  grow_mini_window (w, height - WINDOW_TOTAL_LINES (w));
>                }
>
> Does it cause the bug?  Just comment it out to check.

Well, yes, commenting that code out avoids the failure (which happens
in that call to grow_mini_window). But the point is, the miniwindow is
not shrunk as it should. See attached image.

    Juanma