On Linux (I tried chrome and FF) the label (and tool-tip) of the keyboard shortcut should be Ctrl-K, not Command-K
BTW, the shortcut / is also working, which is great since it is the same as in GitHub, Gmail, and maybe others - consider promoting this shortcut to the label of the search button.
On Linux (I tried chrome and FF) the label (and tool-tip) of the keyboard shortcut should be Ctrl-K, not Command-K
BTW, the shortcut
/is also working, which is great since it is the same as in GitHub, Gmail, and maybe others - consider promoting this shortcut to the label of the search button.