blob: 1e93b03b9e77d8e72f23053e1abf0d0ebb9b5634 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
GitHub Search Pronto
====================
A user script to search immediately within a GitHub repository without having to
wait for the drop-down to appear.
Since the search drop-down was added (enabling the search scope to be changed),
users must wait for the drop-down to both appear and populate before the Enter
key effectuates a search. This script allows the Enter key to be pressed without
having to wait for the drop-down to search within a repository.
## Install
Open the [raw script][1] and click “Install” in the resulting dialog. A [more
detailed explanation][2] is available on the Greasemonkey wiki.
## License
Copyright © 2018 Teddy Wing. Licensed under the GNU GPLv3+ (see the included
COPYING file).
[1]: https://raw.githubusercontent.com/teddywing/github-search-pronto/master/github-search-pronto.user.js
[2]: https://wiki.greasespot.net/Greasemonkey_Manual:Installing_Scripts
|
