panel_save_setup 1400 src/filemanager/panel.c         panel_save_setup (p, name);
panel_save_setup  803 src/setup.c            panel_save_setup (left_panel, left_panel->name);
panel_save_setup  807 src/setup.c            panel_save_setup (right_panel, right_panel->name);
panel_save_setup  160 src/setup.h    void panel_save_setup (WPanel *panel, const char *section);