Support case sensitive highlighting
Correct saving replacement history