2024-07-07 17:32:30 +02:00
|
|
|
import {displayError} from './common.ts';
|
2022-09-13 18:33:37 +02:00
|
|
|
|
2024-11-11 12:13:57 +01:00
|
|
|
function targetElement(el: Element) {
|
2024-12-13 07:45:32 +01:00
|
|
|
// The target element is either the parent "code block with loading indicator", or itself
|
|
|
|
return el.closest('.code-block.is-loading') ?? el;
|
2022-09-13 18:33:37 +02:00
|
|
|
}
|
|
|
|
|
2024-11-21 14:57:42 +01:00
|
|
|
export async function renderMath(): Promise<void> {
|
2022-09-13 18:33:37 +02:00
|
|
|
const els = document.querySelectorAll('.markup code.language-math');
|
|
|
|
if (!els.length) return;
|
|
|
|
|
|
|
|
const [{default: katex}] = await Promise.all([
|
|
|
|
import(/* webpackChunkName: "katex" */'katex'),
|
|
|
|
import(/* webpackChunkName: "katex" */'katex/dist/katex.css'),
|
|
|
|
]);
|
|
|
|
|
2023-10-29 02:52:02 +01:00
|
|
|
const MAX_CHARS = 1000;
|
|
|
|
const MAX_SIZE = 25;
|
|
|
|
const MAX_EXPAND = 1000;
|
|
|
|
|
2022-09-13 18:33:37 +02:00
|
|
|
for (const el of els) {
|
2023-04-17 12:10:22 +02:00
|
|
|
const target = targetElement(el);
|
|
|
|
if (target.hasAttribute('data-render-done')) continue;
|
2022-09-13 18:33:37 +02:00
|
|
|
const source = el.textContent;
|
2023-10-29 02:52:02 +01:00
|
|
|
|
|
|
|
if (source.length > MAX_CHARS) {
|
|
|
|
displayError(target, new Error(`Math source of ${source.length} characters exceeds the maximum allowed length of ${MAX_CHARS}.`));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2023-01-16 11:25:46 +01:00
|
|
|
const displayMode = el.classList.contains('display');
|
|
|
|
const nodeName = displayMode ? 'p' : 'span';
|
2022-09-13 18:33:37 +02:00
|
|
|
|
|
|
|
try {
|
2022-11-17 02:04:09 +01:00
|
|
|
const tempEl = document.createElement(nodeName);
|
|
|
|
katex.render(source, tempEl, {
|
2023-10-29 02:52:02 +01:00
|
|
|
maxSize: MAX_SIZE,
|
|
|
|
maxExpand: MAX_EXPAND,
|
2023-01-16 11:25:46 +01:00
|
|
|
displayMode,
|
2022-11-17 02:04:09 +01:00
|
|
|
});
|
2023-04-17 12:10:22 +02:00
|
|
|
target.replaceWith(tempEl);
|
2022-09-13 18:33:37 +02:00
|
|
|
} catch (error) {
|
2023-04-17 12:10:22 +02:00
|
|
|
displayError(target, error);
|
2022-09-13 18:33:37 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|