toggle menu
gtk-kn
native
switch theme
search in API
gtksource
/
org.gtkkn.bindings.gtksource
/
SearchSettings
/
caseSensitive
case
Sensitive
open
var
caseSensitive
:
Boolean
Whether the search is case sensitive.