[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: |
Wed, 04 Mar 2015 20:59:30 +0200 |
> Date: Wed, 04 Mar 2015 19:45:39 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: jan.h.d@swipnet.se, steve@sanityinc.com, 19972@debbugs.gnu.org
>
> > 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.
>
> It's not the idea that bothers me but the implementation. Looking at
> what Jan did in x_wait_for_event it seems very unlikely that I could
> come up with an equivalent solution. Think of the input un-/blocking
> part:
>
> int level = interrupt_input_blocked;
> ...
> while (f->wait_event_type)
> {
> pending_signals = true;
> totally_unblock_input ();
> /* XTread_socket is called after unblock. */
> block_input ();
> interrupt_input_blocked = level;
>
> Would this work on Windows? And on Gtk he does
>
> (void)gtk_events_pending ();
> gdk_flush ();
>
> before calling x_wait_for_event. Would we have to flush old messages on
> Windows and if so how? All this is probably over my head.
I don't see why do we have to block and wait. Why not simply go about
our business, and let the WM_SIZE message come in when it does, and be
handled?
- bug#19972: Font size change doesn't update (window-total-width), (continued)
- 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, 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 <=
- 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, 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