panel_deinit      167 src/filemanager/boxes.c     panel_deinit ();
panel_deinit     1606 src/filemanager/filemanager.c         panel_deinit ();
panel_deinit      203 src/filemanager/panel.h void panel_deinit (void);