is_case_insensitive 162 src/editor/editwidget.h gboolean is_case_insensitive; /* selects language case sensitivity */ is_case_insensitive 204 src/editor/syntax.c return edit->is_case_insensitive ? tolower (c) : c; is_case_insensitive 913 src/editor/syntax.c if (edit->is_case_insensitive) is_case_insensitive 940 src/editor/syntax.c edit->is_case_insensitive = FALSE; is_case_insensitive 1005 src/editor/syntax.c edit->is_case_insensitive = TRUE;