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

Fix single step proof tree

Browse Source
This commit is contained in:
Arne Keller 2021-07-10 12:47:40 +02:00
parent 8be024eb65
commit adb10a01aa
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-proof-tree.ts
View File

@ -62,7 +62,7 @@ class MathjaxProofTree extends MathjaxAdapter {
if (this.shadowRoot !== null) { if (this.shadowRoot !== null) {
console.time('stepCalculation'); console.time('stepCalculation');
const svg = this.shadowRoot.querySelector<SVGElement>("svg")!; const svg = this.shadowRoot.querySelector<SVGElement>("svg")!;
let root = this.shadowRoot.querySelector("#typicalc-prooftree")!.parentNode! as SVGElement; let root = this.shadowRoot.querySelector("#typicalc-prooftree")! as SVGElement;
while (!root.getAttribute("semantics")) { while (!root.getAttribute("semantics")) {
root = root.parentNode! as SVGElement; root = root.parentNode! as SVGElement;
} }