Returns whether the filter ignores case differences.
a `GtkStringFilter`
true if the filter ignores case