changeset 982:f5a7fbd6c0d0 draft

Add reference URL in a comment
author HIROSE Yuuji <yuuji@gentei.org>
date Tue, 31 May 2022 12:01:07 +0900
parents eb51a80f73c2
children c69cf72ea116
files s4-main.js
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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

yatex.org