gui_hexbox_mode_old   20 modules/gui_hexbox.c static gui_handler *gui_hexbox_mode_old; // stored previous gui_mode
gui_hexbox_mode_old   37 modules/gui_hexbox.c     gui_hexbox_mode_old = gui_set_mode( &GUI_MODE_HEXBOX );
gui_hexbox_mode_old  177 modules/gui_hexbox.c             gui_set_mode(gui_hexbox_mode_old);
gui_hexbox_mode_old  204 modules/gui_hexbox.c     gui_set_mode(gui_hexbox_mode_old);