Lines Matching defs:menu
72 static char default_menu_name[] = "menu";
208 Widget menu = NULL, temp;
218 menu = XtNameToWidget(temp, mbw->menu_button.menu_name);
219 if (menu == NULL)
225 if (menu == NULL) {
229 "MenuButton: Could not find menu widget named %s.",
235 if (!XtIsRealized(menu))
236 XtRealizeWidget(menu);
238 menu_width = XtWidth(menu) + (XtBorderWidth(menu) << 1);
240 menu_height = XtHeight(menu) + (XtBorderWidth(menu) << 1);
247 int scr_height = HeightOfScreen(XtScreen(menu));
254 if (menu_x + menu_width > WidthOfScreen(XtScreen(menu)))
262 int scr_width = WidthOfScreen(XtScreen(menu));
273 XtSetValues(menu, arglist, num_args);
275 XtPopupSpringLoaded(menu);