panel_options_box   23 src/filemanager/boxes.h void panel_options_box (void);
panel_options_box 1287 src/filemanager/filemanager.c         panel_options_box ();