static void do_vtfont (gw, closure, data) Widget gw GCC_UNUSED; XtPointer closure GCC_UNUSED, data GCC_UNUSED;
static void do_vtfont ( Widget gw GCC_UNUSED, XtPointer closure GCC_UNUSED, XtPointer data GCC_UNUSED)
static void do_vtfont (gw, closure, data)    Widget gw GCC_UNUSED;    XtPointer closure GCC_UNUSED, data GCC_UNUSED;{    char *entryname = (char *) closure;    int i;    for (i = 0; i < NMENUFONTS; i++) {	if (strcmp (entryname, fontMenuEntries[i].name) == 0) {	    SetVTFont (i, True, (char *)0, (char *)0);	    return;	}    }    Bell(XkbBI_MinorError, 0);}