panel_reload 4197 src/filemanager/panel.c panel_reload (panel); panel_reload 4973 src/filemanager/panel.c panel_reload (panel); panel_reload 157 src/filemanager/panel.h void panel_reload (WPanel *panel);