panel_reload 4201 src/filemanager/panel.c panel_reload (panel); panel_reload 4977 src/filemanager/panel.c panel_reload (panel); panel_reload 157 src/filemanager/panel.h void panel_reload (WPanel *panel);