is_case_insensitive  160 src/editor/editwidget.h     gboolean is_case_insensitive;       /* selects language case sensitivity */
is_case_insensitive  199 src/editor/syntax.c     return edit->is_case_insensitive ? tolower (c) : c;
is_case_insensitive  909 src/editor/syntax.c     if (edit->is_case_insensitive)
is_case_insensitive  936 src/editor/syntax.c     edit->is_case_insensitive = FALSE;
is_case_insensitive 1001 src/editor/syntax.c             edit->is_case_insensitive = TRUE;