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;