1 files changed, 44 insertions, 0 deletions
diff --git a/src/zenserver/frontend/html/util/widgets.js b/src/zenserver/frontend/html/util/widgets.js
index b8fc720c1..651686a11 100644
--- a/src/zenserver/frontend/html/util/widgets.js
+++ b/src/zenserver/frontend/html/util/widgets.js
@@ -14,6 +14,50 @@ export function flash_highlight(element)
 }
 
 ////////////////////////////////////////////////////////////////////////////////
+export function copy_button(value_or_fn)
+{
+	if (!navigator.clipboard)
+	{
+		const stub = document.createElement("span");
+		stub.style.display = "none";
+		return stub;
+	}
+
+	let reset_timer = 0;
+	const btn = document.createElement("button");
+	btn.className = "zen-copy-btn";
+	btn.title = "Copy to clipboard";
+	btn.textContent = "\u29C9";
+	btn.addEventListener("click", async (e) => {
+		e.stopPropagation();
+		const v = typeof value_or_fn === "function" ? value_or_fn() : value_or_fn;
+		if (!v) { return; }
+		try
+		{
+			await navigator.clipboard.writeText(v);
+			clearTimeout(reset_timer);
+			btn.classList.add("zen-copy-ok");
+			btn.textContent = "\u2713";
+			reset_timer = setTimeout(() => { btn.classList.remove("zen-copy-ok"); btn.textContent = "\u29C9"; }, 800);
+		}
+		catch (_e) { /* clipboard not available */ }
+	});
+	return btn;
+}
+
+// Wraps the existing children of `element` plus a copy button into an
+// inline-flex nowrap container so the button never wraps to a new line.
+export function add_copy_button(element, value_or_fn)
+{
+	if (!navigator.clipboard) { return; }
+	const wrap = document.createElement("span");
+	wrap.className = "zen-copy-wrap";
+	while (element.firstChild) { wrap.appendChild(element.firstChild); }
+	wrap.appendChild(copy_button(value_or_fn));
+	element.appendChild(wrap);
+}
+
+////////////////////////////////////////////////////////////////////////////////
 class Widget extends Component
 {
 }