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