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  737 src/filemanager/find.c     file_case_sens_cbox = check_new (y1++, x1, options.file_case_sens, file_case_label);
file_case_sens_cbox  738 src/filemanager/find.c     group_add_widget (g, file_case_sens_cbox);
file_case_sens_cbox  825 src/filemanager/find.c             options.file_case_sens = file_case_sens_cbox->state;