Searched refs:gui_save_prefs (Results 1 – 1 of 1) sorted by relevance
3533 void gui_save_prefs( void ) in gui_save_prefs() function8692 if( gui_savethem ) gui_save_prefs(); in gui_shutdown()