panel_reload 4087 src/filemanager/panel.c panel_reload (panel); panel_reload 4815 src/filemanager/panel.c panel_reload (panel); panel_reload 161 src/filemanager/panel.h void panel_reload (WPanel * panel);