let save_gui () = gui_ini#write rc_gui