# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1610942819 -32400
# Node ID de4a34a2057cf4ad33c08ead77acfb95be37bb37
# Parent  ef84fef0cec827760e1246ae72461ebec3e2a84a
Ctrl-Click suppress pjaxViewer

diff -r ef84fef0cec8 -r de4a34a2057c s4-main.js
--- a/s4-main.js	Fri Jan 15 10:31:54 2021 +0900
+++ b/s4-main.js	Mon Jan 18 13:06:59 2021 +0900
@@ -308,6 +308,7 @@
 	})
     }
     function pjaxView(ev, url, mynum) {
+	if (ev.ctrlKey) return;
 	ev.preventDefault();
 	let box = document.createElement("div")
 	box.setAttribute("class", "pjaxview");