bug#19972: Font size change doesn't update (window-total-width)

[Eli Zaretskii]

> Date: Wed, 04 Mar 2015 16:10:40 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: jan.h.d@swipnet.se, steve@sanityinc.com, 19972@debbugs.gnu.org
> 
>  >> Which?
>  >
>  > WM_SIZE, no?
> 
> Hmmm...  I have to think this over.

Feel free to ignore, btw.  But to clarify, what I had in mind was call
MoveWindow, and wait for WM_SIZE before we call change_frame_size.  I
have no idea whether this is a good idea, though.

But in any case, are you saying that if we call change_frame_size with
dimensions that Windows doesn't like (can that happen?), then we will
get a WM_SIZE message telling us to change the size to something else?
Does this really happen under some conditions?