static void do_jumpscroll (gw, closure, data) Widget gw GCC_UNUSED; XtPointer closure GCC_UNUSED, data GCC_UNUSED;
static void do_jumpscroll ( Widget gw GCC_UNUSED, XtPointer closure GCC_UNUSED, XtPointer data GCC_UNUSED)
static void do_jumpscroll (gw, closure, data)    Widget gw GCC_UNUSED;    XtPointer closure GCC_UNUSED, data GCC_UNUSED;{    register TScreen *screen = &term->screen;    term->flags ^= SMOOTHSCROLL;    if (term->flags & SMOOTHSCROLL) {	screen->jumpscroll = FALSE;	if (screen->scroll_amt) FlushScroll(screen);    } else {	screen->jumpscroll = TRUE;    }    update_jumpscroll();}