save_setup       1474 src/filemanager/cmd.c     if (save_setup (TRUE, TRUE))
save_setup        892 src/filemanager/filemanager.c     save_setup (auto_save_setup, panels_options.auto_save_setup);
save_setup        147 src/setup.h    gboolean save_setup (gboolean save_options, gboolean save_panel_options);