[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#19972: Font size change doesn't update (window-total-width)
From: |
Eli Zaretskii |
Subject: |
bug#19972: Font size change doesn't update (window-total-width) |
Date: |
Fri, 06 Mar 2015 10:09:18 +0200 |
> Date: Thu, 05 Mar 2015 22:15:20 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: jan.h.d@swipnet.se, steve@sanityinc.com, 19972@debbugs.gnu.org
>
> > 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.
- bug#19972: Font size change doesn't update (window-total-width), (continued)
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/04
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/04
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/04
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/04
- bug#19972: Font size change doesn't update (window-total-width), Jan D., 2015/03/04
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/05
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/05
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/05
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/05
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/05
- bug#19972: Font size change doesn't update (window-total-width),
Eli Zaretskii <=
- bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/06
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/06
bug#19972: Font size change doesn't update (window-total-width), Drew Adams, 2015/03/02
bug#19972: Font size change doesn't update (window-total-width), martin rudalics, 2015/03/02