Case sensitive vs. Match case

The "Find and Replace" dialog and the search bar do not use the same label text for this setting. Personally, I think that "Match case" is preferable.

I don't know which of the two is better, but it must surely be homogenized.
It could be included in !17 (merged) when a choice is made.

I agree they should be the same. I don't personally mind which, but "Match case" would fit with "Match whole word" IMO, if a reason was needed.

closed via merge request !17 (merged)

changed milestone to %0.4.90

assigned to @Tamaranch