Keyboard shortcut inspired by GitHub. Press / to focus the search bar.
这些是此脚本的所有版本。 只显示代码变更过的版本。
Fix focus being taken away from textboxes because I forgot that document.activeElement.tagName is such an ancient API that its strings are in all caps
Fixed bug that made it fire even if you were typing in a text box
