GUD_DISPLAY_FLAG_FULL_UPDATE
if (gdrm->flags & GUD_DISPLAY_FLAG_FULL_UPDATE && gdrm->compression)
if (!(gdrm->flags & GUD_DISPLAY_FLAG_FULL_UPDATE) || gdrm->prev_flush_failed) {
if (gdrm->flags & GUD_DISPLAY_FLAG_FULL_UPDATE)