Make "replace string" case sensitive

[Jose Luis Navarro]

I miss this functionality from others text editors

(Two weeks using scratch)

[Andrea Basso (voluntatefaber)]

This actually concerns the search functionality, the replace-thing is just a consequence.
While usually smart-case is good enough, in this case, especially for devs, a "Match Case" check-box could be better. Or even an option to decide whether have the smart-case feature or the check-box. The UX-team should decide.

[Jacob Parker (jacobparker1992)]

I suggest we have 'replace', 'advanced' as buttons in find. Advanced is a popup that has toggles and a replace all.

[Danielle Foré (danrabbit)]

I would strongly prefer not to add more options to the code base. Is there something that smart case isn't covering?

[Fabian Thoma (fabianthoma)]

@Daniel: Yes, as described in this Bug report Smart Case does not cover the event that you want to replace "this" but not "This" as an example. "this" in the search box will match both cases and because of that will replace both occurences. The suggestion is to add a button to make the search functionaility case sensitive, but keep the smart case search as a default.