bug#21333: 25.0.50; window-size-change-functions not called after mini-window resize

[martin rudalics]

>> A window's size might also change when input arrives.
>
> In what way?  I thought it can only change as part of redisplay, which
> always happens after some command finishes.

Always but not only.  IIUC redisplay can also happen when running a
timer or upon receiving input.

martin