static void ro_gui_menu_closed(void) { if (current_menu != NULL) ro_gui_wimp_event_menus_closed(current_menu_window, current_menu_icon, current_menu); current_menu = NULL; current_menu_window = NULL; current_menu_icon = 0; current_menu_open = false; }
/** * Clean up after a menu has been closed, or forcible close an open menu. */ void ro_gui_menu_closed(void) { os_error *error; if (current_menu) { error = xwimp_create_menu(wimp_CLOSE_MENU, 0, 0); if (error) { LOG(("xwimp_create_menu: 0x%x: %s", error->errnum, error->errmess)); warn_user("MenuError", error->errmess); } ro_gui_wimp_event_menus_closed(current_menu_window, current_menu_icon, current_menu); current_menu = NULL; } current_menu_window = NULL; current_menu_icon = 0; current_menu_open = false; }