remove keep highlighting feature

ok, we're back to where we came from, but hopefully better:
- the floating notification is now very short, 3 seconds
- the floating notification is removed when hiding the search&replace bar
- hiding the search & replace bar removes the highlighting

That means: if you want to keep the highlighting, just don't close the
search & replace bar.

Hopefully, this is simple, clean and predictive.