When searching, the search box automatically fills in the keywords from the previous search.

When you press Ctrl + F to open the search box, the keywords from your last search are automatically filled in, but they are not automatically selected. When you enter new text, it is appended to the...