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