panel_options_box   24 src/filemanager/boxes.h void panel_options_box (void);
panel_options_box 1283 src/filemanager/filemanager.c         panel_options_box ();