is_case_insensitive  152 src/editor/editwidget.h     gboolean is_case_insensitive;  // selects language case sensitivity
is_case_insensitive  220 src/editor/syntax.c     return edit->is_case_insensitive ? tolower (c) : c;
is_case_insensitive  941 src/editor/syntax.c     if (edit->is_case_insensitive)
is_case_insensitive  970 src/editor/syntax.c     edit->is_case_insensitive = FALSE;
is_case_insensitive 1034 src/editor/syntax.c             edit->is_case_insensitive = TRUE;