diff options
Diffstat (limited to 'src/xdisp.c')
| -rw-r--r-- | src/xdisp.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index a74628db392..27d9fff0b7d 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -10816,8 +10816,7 @@ echo_area_display (int update_frame_p) | |||
| 10816 | #endif /* HAVE_WINDOW_SYSTEM */ | 10816 | #endif /* HAVE_WINDOW_SYSTEM */ |
| 10817 | 10817 | ||
| 10818 | /* Redraw garbaged frames. */ | 10818 | /* Redraw garbaged frames. */ |
| 10819 | if (frame_garbaged) | 10819 | clear_garbaged_frames (); |
| 10820 | clear_garbaged_frames (); | ||
| 10821 | 10820 | ||
| 10822 | if (!NILP (echo_area_buffer[0]) || minibuf_level == 0) | 10821 | if (!NILP (echo_area_buffer[0]) || minibuf_level == 0) |
| 10823 | { | 10822 | { |
| @@ -13104,8 +13103,7 @@ redisplay_internal (void) | |||
| 13104 | } | 13103 | } |
| 13105 | 13104 | ||
| 13106 | /* Clear frames marked as garbaged. */ | 13105 | /* Clear frames marked as garbaged. */ |
| 13107 | if (frame_garbaged) | 13106 | clear_garbaged_frames (); |
| 13108 | clear_garbaged_frames (); | ||
| 13109 | 13107 | ||
| 13110 | /* Build menubar and tool-bar items. */ | 13108 | /* Build menubar and tool-bar items. */ |
| 13111 | if (NILP (Vmemory_full)) | 13109 | if (NILP (Vmemory_full)) |
| @@ -13189,8 +13187,7 @@ redisplay_internal (void) | |||
| 13189 | /* If window configuration was changed, frames may have been | 13187 | /* If window configuration was changed, frames may have been |
| 13190 | marked garbaged. Clear them or we will experience | 13188 | marked garbaged. Clear them or we will experience |
| 13191 | surprises wrt scrolling. */ | 13189 | surprises wrt scrolling. */ |
| 13192 | if (frame_garbaged) | 13190 | clear_garbaged_frames (); |
| 13193 | clear_garbaged_frames (); | ||
| 13194 | } | 13191 | } |
| 13195 | } | 13192 | } |
| 13196 | else if (EQ (selected_window, minibuf_window) | 13193 | else if (EQ (selected_window, minibuf_window) |
| @@ -13213,8 +13210,7 @@ redisplay_internal (void) | |||
| 13213 | /* If window configuration was changed, frames may have been | 13210 | /* If window configuration was changed, frames may have been |
| 13214 | marked garbaged. Clear them or we will experience | 13211 | marked garbaged. Clear them or we will experience |
| 13215 | surprises wrt scrolling. */ | 13212 | surprises wrt scrolling. */ |
| 13216 | if (frame_garbaged) | 13213 | clear_garbaged_frames (); |
| 13217 | clear_garbaged_frames (); | ||
| 13218 | } | 13214 | } |
| 13219 | 13215 | ||
| 13220 | 13216 | ||