| 1484 | } |
| 1485 | |
| 1486 | void |
| 1487 | destroy_menu_window(struct xwindow *wp) |
| 1488 | { |
| 1489 | clear_old_menu(wp); /* this will also destroy the widgets */ |
| 1490 | free((genericptr_t) wp->menu_information); |
| 1491 | wp->menu_information = (struct menu_info_t *) 0; |
| 1492 | wp->type = NHW_NONE; /* allow re-use */ |
| 1493 | } |
| 1494 | |
| 1495 | /*winmenu.c*/ |
no test coverage detected