Gtk.StringFilter.set_ignore_case – gtk4 Reference Manual
set_ignore_case
Description:
public
void
set_ignore_case
(
bool
ignore_case)
Sets whether the filter ignores case differences.
Parameters:
this
a `GtkStringFilter`
ignore_case
true
to ignore case
2022 vala-language.org