issues
search
skratchdot
/
github-code-search.user.js
A user script that adds a search box to repository pages which allows you to search the code in that repository.
54
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Search for code with quotation marks
#7
muescha
closed
11 years ago
6
Breaks layout for private repositories
#6
johtso
closed
11 years ago
2
make plugin work again:repo name must be lowercase
#5
ethanpil
closed
11 years ago
4
Doesn't seem to work on some repos
#4
forforf
closed
12 years ago
4
Doesn't seem to work
#3
rpavlik
closed
12 years ago
1
Doesn't work on Safari
#2
ajmalafif
closed
12 years ago
7
Update due to new code tab design
#1
skratchdot
closed
12 years ago
0