[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: |
Thu, 05 Mar 2015 22:22:38 +0200 |
> Date: Thu, 05 Mar 2015 19:14:39 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: jan.h.d@swipnet.se, steve@sanityinc.com, 19972@debbugs.gnu.org
>
> Suppose an application wants to add 5 lines and 5 columns to a frame.
> It can do that in one call
>
> (set-frame-size nil (+ (frame-width) 5) (+ (frame-height) 5))
>
> or via
>
> (progn
> (set-frame-width nil (+ (frame-width) 5))
> (set-frame-height nil (+ (frame-height) 5)))
>
> I suppose that most people would consider these forms idempotent.
>
> However, before the fix, `set-frame-height' could fail because Emacs has
> to tell Windows (via AdjustWindowRect) what the desired window width is.
> But the width Emacs knows about at that time is still that from before
> the `set-frame-width' call.
Did we try back then to sleep a few tens of milliseconds after each
such call?
- 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/03
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/03
- 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 <=
- 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/06
- 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