Gtk.SourceSearchSettings.case_sensitive – gtksourceview-3.0 Reference Manual
case_sensitive
Description:
[
Version
( since =
"3.10"
) ]
public
bool
case_sensitive
{
get
;
set
construct
; }
Whether the search is case sensitive.
2022 vala-language.org