When searching in JabRef, it would be nice if the ‘ctrl-F’ keystroke automatically caused the text in the search box to be selected/highlighted and focussed. That way, one could immediately start typing a new query, instead of having to delete the previous query text as currently.