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

Fix tree layout on failed let

Browse Source
This commit is contained in:
Arne Keller 2021-02-10 08:08:46 +01:00
parent cadc299791
commit 54da12a132
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontend/src/mathjax-proof-tree.ts
View File

@ -163,6 +163,7 @@ class MathjaxProofTree extends MathjaxAdapter {
}
parentNode = parentNode.childNodes[2] as SVGGraphicsElement;
const rule = node.querySelector<SVGGraphicsElement>('g [semantics="bspr_inferenceRule:down"]')!;
if (rule !== null) {
// this selector should be checked again when updating MathJax
const term = rule.childNodes[1].childNodes[0].childNodes[0].childNodes[1].childNodes[0] as SVGGraphicsElement;
// @ts-ignore
@ -171,6 +172,7 @@ class MathjaxProofTree extends MathjaxAdapter {
w += padding;
parentNode.setAttribute("x2", w.toString());
}
}
i += 1;
}
}