Main window: Reimplement option 'highlight all words'

Signed-off-by: Jerome Flesch <jflesch@gmail.com>