panel_reload 4199 src/filemanager/panel.c panel_reload (panel); panel_reload 4920 src/filemanager/panel.c panel_reload (panel); panel_reload 161 src/filemanager/panel.h void panel_reload (WPanel * panel);