//~menu_file_manager() { } // force file manager menu public static void force_file_manager(mame_ui_manager mui, render_container container, string warnings) { // drop any existing menus and start the file manager menu.stack_reset(mui); menu.stack_push_special_main(new menu_file_manager(mui, container, warnings)); mui.show_menu(); // make sure MAME is paused mui.machine().pause(); }
// force game select menu //------------------------------------------------- // force the game select menu to be visible // and inescapable //------------------------------------------------- public static void force_game_select(mame_ui_manager mui, render_container container) { // drop any existing menus and start the system selection menu menu.stack_reset(mui); menu.stack_push_special_main(new menu_select_game(mui, container, null)); mui.show_menu(); // make sure MAME is paused mui.machine().pause(); }
//~menu_file_manager() { } // force file manager menu public static void force_file_manager(mame_ui_manager mui, render_container container, string warnings) { // reset the menu stack stack_reset(mui.machine()); // add the quit entry followed by the game select entry stack_push_special_main(new menu_quit_game(mui, container)); stack_push(new menu_file_manager(mui, container, warnings)); // force the menus on mui.show_menu(); // make sure MAME is paused mui.machine().pause(); }