diff options
| author | Teddy Wing | 2018-11-21 08:50:03 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-21 08:50:28 +0100 |
| commit | 600f25356646e627386cabe409aa52e798f22025 (patch) | |
| tree | dde130354582cff8fe9a975ea317fc9fef671ddd | |
| parent | 885745acd4f0970ed7aae1237f0c9ba3b6b6da57 (diff) | |
| download | github-search-pronto-600f25356646e627386cabe409aa52e798f22025.tar.bz2 | |
Add missing semicolons
| -rw-r--r-- | github-search-pronto.user.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/github-search-pronto.user.js b/github-search-pronto.user.js index cf71b1c..386ff95 100644 --- a/github-search-pronto.user.js +++ b/github-search-pronto.user.js @@ -43,7 +43,7 @@ search_field.addEventListener('keydown', function(e) { var query = search_field.value; // Get "https://github.com/owner/repo" - var repo_url = window.location.href.split('/').slice(0, 5).join('/') + var repo_url = window.location.href.split('/').slice(0, 5).join('/'); window.location.assign( repo_url + @@ -57,5 +57,5 @@ search_field.addEventListener('keydown', function(e) { function is_visible(node) { - return node && node.offsetParent !== null + return node && node.offsetParent !== null; } |
