search box should have old text preselected
When using the search feature repeatedly one has to delete the previously entered string before entering a new one. This rarely (although not never) makes much sense (to me) and I am not used to it at all (which is a real pain because of my muscle memory).
Most often the string has to change and having to delete everything is objectively more complicated than what one would have to do to search for the same string again if the previous string would be preselected (ctrl+a delete/backspace vs. alt+p/+n or tab+enter). Apparently this is a regression since there is some NEWS item that suggests is has been selected previously. I could not find any related discussion and I haven't tried to dig up the patch either (yet).
Since this is probably a controversial topic (else it wouldn't have been introduced and then changed again ;) it certainly would make sense to make this configurable. I could possibly provide a patch if building the app does not force me to jump through too many hoops but I want to hear what you have to say about this first in any case.
Related: