D16838: S&R: Disable highlighting while replacing

[Kåre Särs]

sars added a comment.


  Now I committed to master. Should I back-ported it to 18.12?

REPOSITORY
  R40 Kate

REVISION DETAIL
  https://phabricator.kde.org/D16838

To: sars, #kate, cullmann
Cc: anthonyfieroni, cullmann, kwrite-devel, hase, michaelh, ngraham, demsking, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kwrite-devel/attachments/20181206/7c71fadb/attachment.html>