Gtk.SourceSearchSettings.set_case_sensitive – gtksourceview-3.0 Reference Manual
set_case_sensitive
Description:
[
Version
( since =
"3.10"
) ]
public
void
set_case_sensitive
(
bool
case_sensitive)
Enables or disables the case sensitivity for the search.
Parameters:
this
a
SourceSearchSettings
.
case_sensitive
the setting.
2022 vala-language.org