The case sensitivity is by design and as noted Gedit has the same behavior. The logic of this is that most of the time one will probably want to search without case sensitivity. However, if you'd like to search with case sensitivity you only need to include an uppercase letter in your search terms.
The case sensitivity is by design and as noted Gedit has the same behavior. The logic of this is that most of the time one will probably want to search without case sensitivity. However, if you'd like to search with case sensitivity you only need to include an uppercase letter in your search terms.