void hide_tek_window ()
void hide_tek_window (void)
void hide_tek_window (){    register TScreen *screen = &term->screen;    set_tek_visibility (FALSE);    TekRefresh = (TekLink *)0;    if (screen->TekEmu) switch_modes (True);	/* does longjmp to vt mode */}