use data-render-done

Author: silverwind

web_src/js/markup/common.js

@@ -4,5 +4,5 @@ export function displayError(el, err) {
   errorNode.setAttribute('class', 'ui message error markup-block-error gt-mono');
   errorNode.textContent = err.str || err.message || String(err);
   el.before(errorNode);
-  el.setAttribute('data-done', 'true');
+  el.setAttribute('data-render-done', 'true');
 }

web_src/js/markup/math.js

@@ -17,7 +17,7 @@ export async function renderMath() {
 
   for (const el of els) {
     const target = targetElement(el);
-    if (target.hasAttribute('data-done')) continue;
+    if (target.hasAttribute('data-render-done')) continue;
     const source = el.textContent;
     const displayMode = el.classList.contains('display');
     const nodeName = displayMode ? 'p' : 'span';

web_src/js/markup/mermaid.js

@@ -24,7 +24,7 @@ export async function renderMermaid() {
 
   for (const el of els) {
     const pre = el.closest('pre');
-    if (pre.hasAttribute('data-done')) continue;
+    if (pre.hasAttribute('data-render-done')) continue;
 
     const source = el.textContent;
     if (mermaidMaxSourceCharacters >= 0 && source.length > mermaidMaxSourceCharacters) {