arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-04 19:36:51 +01:00
commit 2ccf09da5f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontend/src/mathjax-setup.js
View File

@ -86,7 +86,7 @@ window.MathJax = {
const html = mathjax.document(root, {InputJax, OutputJax});
html.render();
const hostTag = root.host.tagName.toLowerCase();
if (hostTag !== "tc-proof-tree" && hostTag !== "tc-unification") {
if (hostTag !== "tc-proof-tree") {
if (callback != null) {
callback(html);
}