48 static Widget menuBar = (Widget)0;  variable
247     menuBar = XtVaCreateManagedWidget("menuBar",  in gui_x11_create_widgets()
256     gui_athena_menu_colors(menuBar);  in gui_x11_create_widgets()
258 	XtVaSetValues(menuBar, XtNborderColor, gui.menu_fg_pixel, NULL);  in gui_x11_create_widgets()
358 	XtVaGetValues(menuBar, XtNchildren, &children,  in gui_athena_create_pullright_pixmap()
362 				(num_children > 0) ? children[0] : menuBar,  in gui_athena_create_pullright_pixmap()
429     menuBar = NULL;  in gui_x11_destroy_widgets()
649 	XtManageChild(menuBar);  in gui_mch_enable_menu()
664 	XtUnmanageChild(menuBar);  in gui_mch_enable_menu()
686     XtUnmanageChild(menuBar);  in gui_mch_set_menu_pos()
687     XtVaGetValues(menuBar, XtNborderWidth, &border, NULL);  in gui_mch_set_menu_pos()
692     XtVaSetValues(menuBar,  in gui_mch_set_menu_pos()
698     XtManageChild(menuBar);  in gui_mch_set_menu_pos()
774 		menuButtonWidgetClass, menuBar,  in gui_mch_add_menu()
800 		XtVaGetValues(menuBar,  in gui_mch_add_menu()
940     if (menuBar == (Widget)0)  in gui_mch_new_menu_font()
977 		XtVaGetValues(menuBar,  in gui_mch_new_menu_font()
1335 	if (XtIsManaged(menuBar))  in gui_mch_show_toolbar()
1357 	if (XtIsManaged(menuBar))  in gui_mch_show_toolbar()
1432     if (menuBar == (Widget)0)  in gui_mch_new_menu_colors()
1435 	XtVaSetValues(menuBar, XtNborderColor,	gui.menu_fg_pixel, NULL);  in gui_mch_new_menu_colors()
1436     gui_athena_menu_colors(menuBar);  in gui_mch_new_menu_colors()
1510 	XtVaGetValues(menuBar,  in gui_mch_destroy_menu()
1548 	    if (parent != menuBar  in gui_mch_destroy_menu()
1563 	if (parent == menuBar)  in gui_mch_destroy_menu()