Make distinct selection color

[beroe]

Presently, selected text gets the same color as other copies of the same string. It is impossible to distinguish what is the actual selection. Suggested modification, make the selected text background distinct (Image shows the modification and its effect on selected text)