commit 4a4221b78b8a64b29d0a4a82533ff09cfc6bce2e
parent 48b594afced10a833b77402416e24367a1f9de24
Author: Davide P. Cervone <dpvc@union.edu>
Date: Mon, 13 Apr 2015 17:18:07 -0400
Make sure that unknown characters in an mrow force the mrow to be measured. Resolves issue #1163.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1804,7 +1804,7 @@
if (bbox.width) {BBOX.width = bbox.width; BBOX.minWidth = bbox.minWidth}
if (bbox.tw) {BBOX.tw = bbox.tw}
if (bbox.ic) {BBOX.ic = bbox.ic} else {delete BBOX.ic}
- if (BBOX.exactW && !bbox.exactW) {delete BBOX.exactW}
+ if (BBOX.exactW && !bbox.exactW) {BBOX.exactW = bbox.exactW}
},
HTMLemptyBBox: function (BBOX) {
BBOX.h = BBOX.d = BBOX.H = BBOX.D = BBOX.rw = -HTMLCSS.BIGDIMEN;