panel_reload 4277 src/filemanager/panel.c panel_reload (panel); panel_reload 5058 src/filemanager/panel.c panel_reload (panel); panel_reload 160 src/filemanager/panel.h void panel_reload (WPanel * panel);