term->flags ^= REVERSE_VIDEO;
static void do_reversevideo (	Widget gw GCC_UNUSED,	XtPointer closure GCC_UNUSED,	XtPointer data GCC_UNUSED){    term->flags ^= REVERSE_VIDEO;    ReverseVideo (term);    /* update_reversevideo done in ReverseVideo */}