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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 06 Mar 2015 10:09:18 +0200

> Date: Thu, 05 Mar 2015 22:15:20 +0100
> From: martin rudalics <[email-masked]>
> CC: [email-masked], [email-masked], [email-masked]
> 
>  > Did we try back then to sleep a few tens of milliseconds after each
>  > such call?
> 
> On Windows never.

Maybe we should.  Just sleeping 20 milliseconds, say, shouldn't be a
problem when resizing is in progress.