Searched refs:topic_menu (Results 1 – 3 of 3) sorted by relevance
415 widgets.help.topic_menu, in help_docinit()426 widgets.help.topic_menu, in help_docinit()
690 Widget topic_menu; /* Topic pulldown menu */ member
6864 m->help.topic_menu = XmCreatePulldownMenu( in create_help_widgets()6873 m->help.topic_menu, in create_help_widgets()6883 m->help.topic_menu, in create_help_widgets()6895 m->help.topic_menu, in create_help_widgets()6903 XtSetArg(arg[i], XmNsubMenuId, m->help.topic_menu); i++; in create_help_widgets()