Subject: Re: bug#3300: 23.0.93; doc string of resize-mini-windows

From: Stefan Monnier <[email-masked]>
Date: Sun, 17 May 2009 16:27:53 -0400

> "means let mini-windows grow only, until their display becomes empty,
> at which point the windows go back to their normal size."
 
> That is not what happens.
 
> M-x hhhhhhhhhhhhh C-q C-j kkkkkkkkkkkkk C-q C-j mmmmmmmmmmmmmmmm
 
> Then use backspace or whatever, to empty the minibuffer.

IIUC your "empty minibuffer" is not the same as "their display becomes
empty".  E.g. your minibuffer still has a prompt and a cursor, so its
display is not empty.

        Stefan