static void handle_tekshow (gw, allowswitch) Widget gw GCC_UNUSED; Bool allowswitch;
static void handle_tekshow (Widget gw GCC_UNUSED, Bool allowswitch)
static void handle_tekshow (gw, allowswitch)    Widget gw GCC_UNUSED;    Bool allowswitch;{    register TScreen *screen = &term->screen;    if (!screen->Tshow) {		/* not showing, turn on */	set_tek_visibility (TRUE);    } else if (screen->Vshow || allowswitch) {  /* is showing, turn off */	set_tek_visibility (FALSE);	end_tek_mode ();		/* WARNING: this does a longjmp */    } else      Bell(XkbBI_MinorError, 0);}