suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix scaling of unknown characters to handle 'Scale All Math' values properly. Issue #826.

Browse Source
This commit is contained in:
Davide P. Cervone 2014-08-20 12:10:28 -04:00
parent 354e18df87
commit b7fbcc73b6
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
unpacked/jax/output/HTML-CSS/jax.js
View File

@ -1485,7 +1485,8 @@
handleFont: function (span,font,force) {
span.style.fontFamily = font.family;
if (!font.directory) {span.style.fontSize = Math.floor(100/HTMLCSS.scale+.5) + "%"}
if (!font.directory)
{span.style.fontSize = Math.floor(HTMLCSS.config.scale/HTMLCSS.scale+.5) + "%"}
if (!(HTMLCSS.FontFaceBug && font.isWebFont)) {
var style = font.style || "normal", weight = font.weight || "normal";
if (style !== "normal" || force) {span.style.fontStyle = style}

6
unpacked/jax/output/SVG/jax.js
View File

@ -618,7 +618,7 @@
c = String.fromCharCode((N>>10)+0xD800)
+ String.fromCharCode((N&0x3FF)+0xDC00);
}
var box = BBOX.TEXT(scale,c,{
var box = BBOX.TEXT(scale*100/SVG.config.scale,c,{
"font-family":variant.defaultFamily||SVG.config.undefinedFamily,
"font-style":(variant.italic?"italic":""),
"font-weight":(variant.bold?"bold":"")
@ -1012,7 +1012,7 @@
var bbox = this.element.getBBox();
SVG.textSVG.removeChild(this.element);
scale *= 1000/SVG.em;
this.element.setAttribute("transform","scale("+scale+") matrix(1 0 0 -1 0 0)");
this.element.setAttribute("transform","scale("+SVG.Fixed(scale)+") matrix(1 0 0 -1 0 0)");
this.w = this.r = bbox.width*scale; this.l = 0;
this.h = this.H = -bbox.y*scale;
this.d = this.D = (bbox.height + bbox.y)*scale;
@ -1543,7 +1543,7 @@
this.SVGgetStyles();
var svg = this.SVG(), scale = SVG.length2em(this.styles.fontSize||1)/1000;
this.SVGhandleSpace(svg);
var def = (scale !== 1 ? {transform:"scale("+scale+")"} : {});
var def = (scale !== 1 ? {transform:"scale("+SVG.Fixed(scale)+")"} : {});
var bbox = BBOX(def);
bbox.Add(this.SVGchildSVG(0)); bbox.Clean();
if (scale !== 1) {