commit 2afb80176c0ed5be08efe5babf9b0dbd4835fbf5
parent 6e0a83a4372aa98bf02e6e5ea97905830c7a1e34
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sat, 8 Feb 2014 11:28:03 -0500
Merge branch 'issue681' into develop. 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}}