gui_console_mode_old  197 core/console.c static gui_handler	    *gui_console_mode_old;
gui_console_mode_old  209 core/console.c     gui_console_mode_old = gui_set_mode(&mboxGuiHandler);
gui_console_mode_old  269 core/console.c         gui_set_mode(gui_console_mode_old);