Adjust position of rule for square root when it is made via createRule(). Resolves issue #1370.

This commit is contained in:
Davide P. Cervone 2016-04-29 19:29:54 -04:00
parent 288e4f476d
commit d9a64a2603

View File

@ -2613,7 +2613,7 @@
if (surd.bbox.h + surd.bbox.d > H) {q = ((surd.bbox.h+surd.bbox.d) - (H-t))/2}
var ruleC = HTMLCSS.FONTDATA.DELIMITERS[HTMLCSS.FONTDATA.RULECHAR];
if (!ruleC || W < ruleC.HW[0][0]*scale || scale < .75) {
HTMLCSS.createRule(rule,0,t,W);
HTMLCSS.createRule(rule,0,t,W); rule.bbox.h = -t;
} else {
HTMLCSS.createDelimiter(rule,HTMLCSS.FONTDATA.RULECHAR,W,scale);
}