is_case_insensitive  152 src/editor/editwidget.h     gboolean is_case_insensitive;  // selects language case sensitivity
is_case_insensitive  222 src/editor/syntax.c     return edit->is_case_insensitive ? tolower (c) : c;
is_case_insensitive  943 src/editor/syntax.c     if (edit->is_case_insensitive)
is_case_insensitive  972 src/editor/syntax.c     edit->is_case_insensitive = FALSE;
is_case_insensitive 1036 src/editor/syntax.c             edit->is_case_insensitive = TRUE;