User can choose "matchWholeText" or "Case sensitive“

[Alex Wang]

These two default settings are ‘false', we’d better let user have one chance can choose these two options set to ‘true’

[Mikhail Lopatkin]

I'll think about how to add this without cluttering the UI too much. In the meantime it is possible to achieve some of this with regex search: - "Match whole text" can be done by wrapping pattern in ^...$ - Regex search is case sensitive. It is cumbersome to do case-insensitive search with regular expressions though, I agree that this case isn't covered that well.