void HandleSetTerminalType(w, event, params, param_count) Widget w; XEvent *event GCC_UNUSED; String *params; Cardinal *param_count;
void HandleSetTerminalType( Widget w, XEvent *event GCC_UNUSED, String *params, Cardinal *param_count)
void HandleSetTerminalType(w, event, params, param_count)    Widget w;    XEvent *event GCC_UNUSED;    String *params;    Cardinal *param_count;{    if (*param_count == 1) {	switch (params[0][0]) {	  case 'v': case 'V':	    if (term->screen.TekEmu) do_vtmode (w, (XtPointer)0, (XtPointer)0);	    break;	  case 't': case 'T':	    if (!term->screen.TekEmu) do_tekmode (w, (XtPointer)0, (XtPointer)0);	    break;	  default:	    Bell(XkbBI_MinorError, 0);	}    } else {	Bell(XkbBI_MinorError, 0);    }}