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;