file_case_sens_cbox  133 src/filemanager/find.c static WCheck *file_case_sens_cbox;     /* "case sensitive" checkbox */
file_case_sens_cbox  439 src/filemanager/find.c     widget_disable (WIDGET (file_case_sens_cbox), disable);
file_case_sens_cbox  734 src/filemanager/find.c     file_case_sens_cbox = check_new (y1++, x1, options.file_case_sens, file_case_label);
file_case_sens_cbox  735 src/filemanager/find.c     group_add_widget (g, file_case_sens_cbox);
file_case_sens_cbox  822 src/filemanager/find.c             options.file_case_sens = file_case_sens_cbox->state;