for the record I had no idea that ctrl-f put focus on the search box :). But I'm not sure the menu item is the right answer, it would be easy to select it and not see the change in the UI. I think a tooltip for the search box is the right solution.
for the record I had no idea that ctrl-f put focus on the search box :). But I'm not sure the menu item is the right answer, it would be easy to select it and not see the change in the UI. I think a tooltip for the search box is the right solution.