| 1383 | } |
| 1384 | |
| 1385 | static void |
| 1386 | destroy_menu_entry_widgets(struct xwindow *wp) |
| 1387 | { |
| 1388 | WidgetList wlist; |
| 1389 | Cardinal numchild; |
| 1390 | Arg args[5]; |
| 1391 | Cardinal num_args; |
| 1392 | x11_menu_item *curr; |
| 1393 | struct menu_info_t *menu_info; |
| 1394 | |
| 1395 | if (!wp || !wp->w) |
| 1396 | return; |
| 1397 | |
| 1398 | menu_info = wp->menu_information; |
| 1399 | num_args = 0; |
| 1400 | XtSetArg(args[num_args], XtNchildren, &wlist); num_args++; |
| 1401 | XtSetArg(args[num_args], XtNnumChildren, &numchild); num_args++; |
| 1402 | XtGetValues(wp->w, args, num_args); |
| 1403 | XtUnmanageChildren(wlist, numchild); |
| 1404 | for (curr = menu_info->curr_menu.base; curr; curr = curr->next) |
| 1405 | if (curr->w) |
| 1406 | XtDestroyWidget(curr->w); |
| 1407 | } |
| 1408 | |
| 1409 | static void |
| 1410 | move_menu(struct menu *src_menu, struct menu *dest_menu) |
no outgoing calls
no test coverage detected