[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: |
Tue, 03 Mar 2015 20:38:53 +0200 |
> Date: Tue, 03 Mar 2015 19:36:02 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: jan.h.d@swipnet.se, steve@sanityinc.com, 19972@debbugs.gnu.org
>
> >> When I asked you back then whether we could implement something similar
> >> to the X code on Windows you told me that Windows doesn't have anything
> >> comparable to ConfigureNotify so I didn't pursue the idea any further.
> >
> > I don't remember saying that (and don't know X well enough to make
> > such assertions to begin with), but in any case, you just explained
> > that I was wrong, and there is a Windows message equivalent to
> > ConfigureNotify.
>
> Which?
WM_SIZE, no?
- bug#19972: Font size change doesn't update (window-total-width), (continued)
- bug#19972: Font size change doesn't update (window-total-width), Jan D., 2015/03/02
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/02
- bug#19972: Font size change doesn't update (window-total-width), Jan D., 2015/03/02
- bug#19972: Font size change doesn't update (window-total-width), Eli Zaretskii, 2015/03/02
- bug#19972: Font size change doesn't update (window-total-width), Jan D., 2015/03/02
- 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/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/03
- 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/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