HandleSetFont(w, event, params, param_count) Widget w GCC_UNUSED; XEvent *event GCC_UNUSED; String *params; Cardinal *param_count;
HandleSetFont( Widget w GCC_UNUSED, XEvent *event GCC_UNUSED, String *params, Cardinal *param_count)
HandleSetFont(w, event, params, param_count)    Widget w GCC_UNUSED;    XEvent *event GCC_UNUSED;    String *params;    Cardinal *param_count;{    int fontnum;    char *name1 = NULL, *name2 = NULL;    if (*param_count == 0) {	fontnum = fontMenu_fontdefault;    } else {	Cardinal maxparams = 1;		/* total number of params allowed */	switch (params[0][0]) {	  case 'd': case 'D': case '0':	    fontnum = fontMenu_fontdefault; break;	  case '1':	    fontnum = fontMenu_font1; break;	  case '2':	    fontnum = fontMenu_font2; break;	  case '3':	    fontnum = fontMenu_font3; break;	  case '4':	    fontnum = fontMenu_font4; break;	  case '5':	    fontnum = fontMenu_font5; break;	  case '6':	    fontnum = fontMenu_font6; break;	  case 'e': case 'E':	    fontnum = fontMenu_fontescape; maxparams = 3; break;	  case 's': case 'S':	    fontnum = fontMenu_fontsel; maxparams = 2; break;	  default:	    Bell(XkbBI_MinorError,0);	    return;	}	if (*param_count > maxparams) {	 /* see if extra args given */	    Bell(XkbBI_MinorError,0);	    return;	}	switch (*param_count) {		/* assign 'em */	  case 3:	    name2 = params[2];	    /* FALLTHRU */	  case 2:	    name1 = params[1];	    break;	}    }    SetVTFont (fontnum, True, name1, name2);}