commit ba238a6393d18b9bd146d17dd3bbb7e55fa5532f
parent 6c50f1dae87c04908879917874d4bdb40f33abcc
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sat, 8 Feb 2014 11:27:36 -0500
Fixed accidental switching of true and false when testing for local font. Issue #681.
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -84,14 +84,14 @@
this.div.style.fontStyle = (font.style||"normal");
}
var W = this.getComparisonWidths(font.testString,font.noStyleChar);
- var found = false;
+ var found = null;
if (W) {
this.div.style.fontFamily = "'"+font.family+"',"+this.comparisonFont[0];
if (this.div.offsetWidth == W[0]) {
this.div.style.fontFamily = "'"+font.family+"',"+this.comparisonFont[W[2]];
- if (this.div.offsetWidth == W[1]) {found = true}
+ if (this.div.offsetWidth == W[1]) {found = false}
}
- if (!found && (this.div.offsetWidth != W[3] || this.div.offsetHeight != W[4])) {
+ if (found === null && (this.div.offsetWidth != W[3] || this.div.offsetHeight != W[4])) {
if (!font.noStyleChar && HTMLCSS.FONTDATA && HTMLCSS.FONTDATA.hasStyleChar) {
for (var i = 0, m = this.testSize.length; i < m; i++)
{if (this.testStyleChar(font,this.testSize[i])) {found = true; m = 0}}