Feature request: if a variable or symbol is selected, highlight those variables or symbols everywhere in the text

[dtonhofer]

Such a feature would be helpful to rapidly check for the presence of badly spelled symbols, or help in (possibly selectively) replacing them.

It could also be an option of the search / search & replace box.