diff options
| author | Teddy Wing | 2020-03-22 15:32:06 +0100 |
|---|---|---|
| committer | Teddy Wing | 2020-03-22 15:32:06 +0100 |
| commit | 5a07b8d04d216653695410aee8d03d2a990e8464 (patch) | |
| tree | 7e4625354fdaf287de173a2c51a26f38ce18c251 | |
| parent | bc85d500242705162467af0b5cd0f7cf355e2f7a (diff) | |
| download | godoc-links-5a07b8d04d216653695410aee8d03d2a990e8464.tar.bz2 | |
github.com: Add a GoDoc link in the header next to the repo name
| -rw-r--r-- | godoc-links.user.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/godoc-links.user.js b/godoc-links.user.js index de1fed6..8b7c17a 100644 --- a/godoc-links.user.js +++ b/godoc-links.user.js @@ -24,3 +24,14 @@ function github () { } } } + + +function github_add_godoc_link () { + var github_repo_header_el = document.querySelector('.pagehead.repohead .flex-wrap') + + var container_el = document.createElement('span'); + container_el.className = 'flex-self-stretch'; + var link_el = document.createElement('a'); + link_el.href = ''; + link_el.textContent = '(GoDoc)'; +} |
