# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1653966067 -32400
# Node ID f5a7fbd6c0d066dc6724b6981611ad1869193240
# Parent  eb51a80f73c2087743e90097e12e4d0afa7a7398
Add reference URL in a comment

diff -r eb51a80f73c2 -r f5a7fbd6c0d0 s4-main.js
--- a/s4-main.js	Tue May 31 11:59:33 2022 +0900
+++ b/s4-main.js	Tue May 31 12:01:07 2022 +0900
@@ -1072,6 +1072,7 @@
 	}
     }
     function initReplyHover(unit) {
+	// https://stackoverflow.com/questions/60154233/event-when-typesetting-is-done-mathjax-3
 	if (mathjax && MathJax.startup)
 	    MathJax.startup.promise.then(()=>rewriteReplyHover());
 	else