Add option to highlight all words matching the current selection

(not ready to merge!)
Hm.... that does prevent the glitches from happening, but the highlighting doesn't work either...