☰
D
dejadoc
GID:GTK4
/
gtk.string_filter
/
StringFilter.getIgnoreCase
🔍
☾
StringFilter.getIgnoreCase
bool getIgnoreCase()
Returns whether the filter ignores case differences.
Returns
true if the filter ignores case