--- a/src/chat.js	Tue Sep 16 00:01:53 2025 -0600
+++ b/src/chat.js	Thu Nov 13 12:35:14 2025 -0700
@@ -432,7 +432,7 @@
 	let div = document.querySelector('div[reply]');
 	div.removeAttribute('hidden');
 	div.setAttribute('reply',postId);
-	document.querySelector('div[reply] div[text]').innerHTML = document.querySelector(`div[post="${postId}"] div[text]`).innerHTML
+	document.querySelector('div[reply] div[text]').innerHTML = document.querySelector(`div[post="${postId}"] div[text]`).innerHTML;
 	let a = document.querySelector('div[reply] a[when]');
 	a.href = `#p${postId}`;
 	a.textContent = document.querySelector(`div[post="${postId}"] span[when]`).textContent;
@@ -462,3 +462,13 @@
 	let dialog = document.querySelector('dialog[add]');
 	dialog.querySelector('span[error]').textContent = msg;
 }
+
+function selectPost(el) {
+	let postId = getPostId(el);
+	let div = document.querySelector(`div[post="${postId}"] div[text]`);
+	let range = document.createRange();
+	range.selectNodeContents(div);
+	let selection = window.getSelection();
+	selection.removeAllRanges();
+	selection.addRange(range);
+}