W_FULL
was_full = (Window != W_FULL);
else if ((Window == W_FULL || Finished) ^ was_full) {
if (Window == W_FULL || Finished) {
was_full = (Window == W_FULL || Finished);
if (Window != W_FULL)
if (Window == W_FULL || Finished) {