API Version: 41.0
Library Version: 41.0
void ide_editor_search_set_case_sensitive ( IdeEditorSearch* self, gboolean case_sensitive )
See also: GtkSourceSearchSettings:case-sensitive.
GtkSourceSearchSettings:case-sensitive
case_sensitive
gboolean
TRUE if the search should be case-sensitive.
TRUE