Property
GtkSourceSearchSettings:case-sensitive
Description [src]
Whether the search is case sensitive.
          Type:gboolean
| Default value | FALSE | 
| Getter method | gtk_source_search_settings_get_case_sensitive() | 
| Setter method | gtk_source_search_settings_set_case_sensitive() |