6174 |
f = x_top_window_to_frame (dpyinfo, event.xmap.window); |
f = x_top_window_to_frame (dpyinfo, event.xmap.window); |
6175 |
if (f) |
if (f) |
6176 |
{ |
{ |
6177 |
/* wait_reading_process_input will notice this and update |
/* wait_reading_process_output will notice this and update |
6178 |
the frame's display structures. |
the frame's display structures. |
6179 |
If we where iconified, we should not set garbaged, |
If we where iconified, we should not set garbaged, |
6180 |
because that stops redrawing on Expose events. This looks |
because that stops redrawing on Expose events. This looks |