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() |