> I think that last case is something we haven't considered yet: if I resize
> windows manually while the mini-window is enlarged, they will be in an
> inconsistent state when it goes back to normal, right?
FWIW here resizing a window "manually" makes the mini-window "go normal"
first.
Resizing the frame leaves the mini-window alone.