Intercept / keystroke only if search modal not active - #638

Intercept / keystroke only if search modal not active#638

valencik merged 1 commit into

maintypelevel/typelevel.github.com:mainfrom

pr/fix-slashtypelevel/typelevel.github.com:pr/fix-slashCopy head branch name to clipboard