When text is selected upon highlighting, the selection might change.
The exact behaviour depends on whether the selected text is one (or contains
one) of the search terms or not.
Original issue reported on code.google.com by Eduard.Braun2 on 15 Dec 2014 at 4:15
Original issue reported on code.google.com by
Eduard.Braun2
on 15 Dec 2014 at 4:15