From f0ac4a15de3efa042bc1e105e1ba99612f4f0736 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sun, 22 Mar 2020 18:11:28 +0100
Subject: pkg.go.dev: Add a link to the GoDoc docs in the header

---
 godoc-links.user.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/godoc-links.user.js b/godoc-links.user.js
index c1f44ba..ab5ac3d 100644
--- a/godoc-links.user.js
+++ b/godoc-links.user.js
@@ -52,6 +52,18 @@ function pkg_go_dev () {
 	var parent_el = import_path_el.parentNode;
 	parent_el.removeChild(import_path_el);
 	parent_el.prepend(link_el);
+
+	pkg_go_dev_add_godoc_link(parent_el, import_path_el.textContent);
+}
+
+
+// Add a link in the header to the GoDoc version of the docs.
+function pkg_go_dev_add_godoc_link (container_el, import_path) {
+	var link_el = document.createElement('a');
+	link_el.href = 'https://godoc.org/' + import_path;
+	link_el.textContent = '(GoDoc)';
+
+	container_el.appendChild(link_el);
 }
 
 
-- 
cgit v1.2.3