panel_panelize_save 1835 src/filemanager/find.c         panel_panelize_save (panel);
panel_panelize_save  198 src/filemanager/panel.h void panel_panelize_save (WPanel *panel);
panel_panelize_save  427 src/filemanager/panelize.c     panel_panelize_save (current_panel);