void set_tek_visibility (on) Boolean on;
void set_tek_visibility (Boolean on)
void set_tek_visibility (on)    Boolean on;{    register TScreen *screen = &term->screen;    if (on) {	if (!screen->Tshow && (tekWidget || TekInit())) {	    Widget tekParent = tekWidget->core.parent;	    XtRealizeWidget (tekParent);	    XtMapWidget (tekParent);	    XtOverrideTranslations(tekParent,				   XtParseTranslationTable				   ("<Message>WM_PROTOCOLS: DeleteWindow()"));	    (void) XSetWMProtocols (XtDisplay(tekParent),				    XtWindow(tekParent),				    &wm_delete_window, 1);	    screen->Tshow = TRUE;	}    } else {	if (screen->Tshow && tekWidget) {	    withdraw_window (XtDisplay (tekWidget),			     XtWindow(XtParent(tekWidget)),			     XScreenNumberOfScreen(XtScreen(tekWidget)));	    screen->Tshow = FALSE;	}    }    set_tekhide_sensitivity();    set_vthide_sensitivity();    update_vtshow();    update_tekshow();    update_vttekmode();    return;}