451 |
/* Set to non-zero in change_frame_size when size of frame changed |
/* Set to non-zero in change_frame_size when size of frame changed |
452 |
Clear the frame in clear_garbaged_frames if set. */ |
Clear the frame in clear_garbaged_frames if set. */ |
453 |
unsigned resized_p : 1; |
unsigned resized_p : 1; |
454 |
|
|
455 |
|
/* Set to non-zero if the default face for the frame has been |
456 |
|
realized. Reset to zero whenever the default face changes. |
457 |
|
Used to see the difference between a font change and face change. */ |
458 |
|
unsigned default_face_done_p : 1; |
459 |
}; |
}; |
460 |
|
|
461 |
#ifdef MULTI_KBOARD |
#ifdef MULTI_KBOARD |