is_case_insensitive  155 src/editor/editwidget.h     gboolean is_case_insensitive;       /* selects language case sensitivity */
is_case_insensitive  202 src/editor/syntax.c     return edit->is_case_insensitive ? tolower (c) : c;
is_case_insensitive  922 src/editor/syntax.c     if (edit->is_case_insensitive)
is_case_insensitive  949 src/editor/syntax.c     edit->is_case_insensitive = FALSE;
is_case_insensitive 1013 src/editor/syntax.c             edit->is_case_insensitive = TRUE;