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