add the '/' keyboard shortcut to focus the search box

[gruns]

a very common keyboard shortcut on websites with a search box is to focus the search box with the '/' key. this works on google, youtube, github, etc

add this keyboard shortcut on the explorer to focus the search box