Merge pull request #1198 from zed-industries/keyboard-toggle-search-options

Toggle search options via the keyboard
cef85f5d84Antonio Scandurra committed on 6/16/2022, 12:49:37 PM· committed by GitHubparents04c9f849defbf7
4 files changedLine totals unavailable