@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.
@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.