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