| 1450 | } |
| 1451 | |
| 1452 | static void |
| 1453 | clear_old_menu(struct xwindow *wp) |
| 1454 | { |
| 1455 | struct menu_info_t *menu_info = wp->menu_information; |
| 1456 | |
| 1457 | free_menu(&menu_info->curr_menu); |
| 1458 | free_menu(&menu_info->new_menu); |
| 1459 | |
| 1460 | if (menu_info->is_up) { |
| 1461 | nh_XtPopdown(wp->popup); |
| 1462 | menu_info->is_up = FALSE; |
| 1463 | XtDestroyWidget(wp->popup); |
| 1464 | wp->w = wp->popup = (Widget) 0; |
| 1465 | } |
| 1466 | } |
| 1467 | |
| 1468 | void |
| 1469 | create_menu_window(struct xwindow *wp) |
no test coverage detected