Improvement to search behaviour

I thought it would be nice to follow the behavior of Firefox et al and select the previously typed search query when pressing ctrl-f.

This means that you can just start typing to erase the previous search and start a new one, while not really making editing the search query any harder.

Thank you for a handy program!