panel_reload     4245 src/filemanager/panel.c         panel_reload (panel);
panel_reload     5021 src/filemanager/panel.c         panel_reload (panel);
panel_reload      157 src/filemanager/panel.h void panel_reload (WPanel *panel);