file_case_sens_cbox  135 src/filemanager/find.c static WCheck *file_case_sens_cbox;  // "case sensitive" checkbox
file_case_sens_cbox  441 src/filemanager/find.c     widget_disable (WIDGET (file_case_sens_cbox), disable);
file_case_sens_cbox  716 src/filemanager/find.c     file_case_sens_cbox = check_new (y1++, x1, options.file_case_sens, file_case_label);
file_case_sens_cbox  717 src/filemanager/find.c     group_add_widget (g, file_case_sens_cbox);
file_case_sens_cbox  797 src/filemanager/find.c         options.file_case_sens = file_case_sens_cbox->state;