default: break;
domenu(Widget w GCC_UNUSED,       XEvent * event GCC_UNUSED,       String * params,		/* mainMenu, vtMenu, or tekMenu */       Cardinal * param_count)	/* 0 or 1 */{    TScreen *screen = &term->screen;    int me;    Boolean created = False;    Widget mw;    if (*param_count != 1) {	Bell(XkbBI_MinorError, 0);	return False;    }    if ((me = indexOfMenu(params[0])) < 0) {	Bell(XkbBI_MinorError, 0);	return False;    }    if ((mw = obtain_menu(w, (MenuIndex) me)) == 0	|| sizeof_menu(w, me) == 0) {	mw = create_menu(w, term, (MenuIndex) me);	created = (mw != 0);    }    if (mw == 0)	return False;    switch (me) {    case mainMenu:	if (created) {	    update_securekbd();	    update_allowsends();	    update_logging();	    update_print_redir();	    update_8bit_control();	    update_decbkm();	    update_num_lock();	    update_meta_esc();	    update_delete_del();	    update_keyboard_type();	    if (screen->terminal_id < 200) {		set_sensitivity(mw,				mainMenuEntries[mainMenu_8bit_ctrl].widget,				FALSE);	    }#if !defined(SIGTSTP)	    set_sensitivity(mw,			    mainMenuEntries[mainMenu_suspend].widget, FALSE);#endif#if !defined(SIGCONT)	    set_sensitivity(mw,			    mainMenuEntries[mainMenu_continue].widget, FALSE);#endif	}	break;    case vtMenu:	if (created) {	    update_scrollbar();	    update_jumpscroll();	    update_reversevideo();	    update_autowrap();	    update_reversewrap();	    update_autolinefeed();	    update_appcursor();	    update_appkeypad();	    update_scrollkey();	    update_scrollttyoutput();	    update_allow132();	    update_cursesemul();	    update_visualbell();	    update_poponbell();	    update_marginbell();	    update_cursorblink();	    update_altscreen();	    update_titeInhibit();#ifndef NO_ACTIVE_ICON	    if (!screen->fnt_icon || !screen->iconVwin.window) {		set_sensitivity(mw,				vtMenuEntries[vtMenu_activeicon].widget,				FALSE);	    } else		update_activeicon();#endif /* NO_ACTIVE_ICON */	}	break;    case fontMenu:	if (created) {	    set_menu_font(True);	    set_sensitivity(mw,			    fontMenuEntries[fontMenu_fontescape].widget,			    (screen->menu_font_names[fontMenu_fontescape]			     ? TRUE : FALSE));#if OPT_BOX_CHARS	    update_font_boxchars();	    set_sensitivity(mw,			    fontMenuEntries[fontMenu_font_boxchars].widget,			    True);#endif#if OPT_DEC_SOFTFONT		/* FIXME: not implemented */	    update_font_loadable();	    set_sensitivity(mw,			    fontMenuEntries[fontMenu_font_loadable].widget,			    FALSE);#endif#if OPT_DEC_CHRSET	    update_font_doublesize();	    if (term->screen.cache_doublesize == 0)		set_sensitivity(mw,				fontMenuEntries[fontMenu_font_doublesize].widget,				False);#endif	}	FindFontSelection(NULL, True);	set_sensitivity(mw,			fontMenuEntries[fontMenu_fontsel].widget,			(screen->menu_font_names[fontMenu_fontsel]			 ? TRUE : FALSE));	break;#if OPT_TEK4014    case tekMenu:	if (created) {	    set_tekfont_menu_item(screen->cur.fontsize, TRUE);	    update_vtshow();	}	break;#endif    }    return True;}