diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/frame.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/frame.h b/src/frame.h index 30d3f4348e9..8bdaff99754 100644 --- a/src/frame.h +++ b/src/frame.h | |||
| @@ -452,6 +452,10 @@ struct frame | |||
| 452 | Clear the frame in clear_garbaged_frames if set. */ | 452 | Clear the frame in clear_garbaged_frames if set. */ |
| 453 | unsigned resized_p : 1; | 453 | unsigned resized_p : 1; |
| 454 | 454 | ||
| 455 | /* Set to non-zero in when we want for force a flush_display in | ||
| 456 | update_frame, usually after resizing the frame. */ | ||
| 457 | unsigned force_flush_display_p : 1; | ||
| 458 | |||
| 455 | /* Set to non-zero if the default face for the frame has been | 459 | /* Set to non-zero if the default face for the frame has been |
| 456 | realized. Reset to zero whenever the default face changes. | 460 | realized. Reset to zero whenever the default face changes. |
| 457 | Used to see the difference between a font change and face change. */ | 461 | Used to see the difference between a font change and face change. */ |