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

Limit initial SVG zoom + move zoom controls to upper left

Browse Source
This commit is contained in:
Arne Keller 2021-03-09 14:55:34 +01:00
parent 5c49e03ba0
commit 92296a8373
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -113,16 +113,18 @@ class MathjaxProofTree extends MathjaxAdapter {
steps.push([a, above]); steps.push([a, above]);
} }
} }
const svg = root.querySelector<SVGElement>("svg")!;
// limit start zoom
svg.viewBox.baseVal.width = Math.min(100000, svg.viewBox.baseVal.width);
svg.viewBox.baseVal.width = Math.max(20000, svg.viewBox.baseVal.width);
// MathJax layout of bussproofs is sometimes wrong: // MathJax layout of bussproofs is sometimes wrong:
// https://github.com/mathjax/MathJax/issues/2270 // https://github.com/mathjax/MathJax/issues/2270
// https://github.com/mathjax/MathJax/issues/2626 // https://github.com/mathjax/MathJax/issues/2626
// we fix it in two phases: // we fix it in two phases (executed at the same time):
// 1. fix overlapping by iterating over "rows" in the SVG created by MathJax // 1. fix overlapping by iterating over "rows" in the SVG created by MathJax
// in each row, the elements are arranged to not overlap // in each row, the elements are arranged to not overlap
// 2. place inference conclusions under the center of their line // 2. place inference conclusions under the center of their line
const svg = root.querySelector<SVGElement>("svg")!;
svg.viewBox.baseVal.width = Math.min(100000, svg.viewBox.baseVal.width);
const nodeIterator = [...svg.querySelectorAll<SVGGraphicsElement>("g[data-mml-node='mtr']," + inferenceRuleSelector)]; const nodeIterator = [...svg.querySelectorAll<SVGGraphicsElement>("g[data-mml-node='mtr']," + inferenceRuleSelector)];
console.log(`working with ${nodeIterator.length} nodes`); console.log(`working with ${nodeIterator.length} nodes`);
// start layout fixes in the innermost part of the SVG // start layout fixes in the innermost part of the SVG
@ -293,6 +295,11 @@ class MathjaxProofTree extends MathjaxAdapter {
} }
} }
}); });
// @ts-ignore
let matrix = svg.getElementById("svg-pan-zoom-controls").transform.baseVal[0].matrix;
// move control to upper left corner
matrix.e = 0;
matrix.f = 0;
} }
this.steps = steps; this.steps = steps;
this.showStep(0); this.showStep(0);