Gtk.StringFilter.ignore_case – gtk4 Reference Manual
ignore_case
Description:
public
bool
ignore_case
{
get
;
set
; }
If matching is case sensitive.
2022 vala-language.org