From 4a4221b78b8a64b29d0a4a82533ff09cfc6bce2e Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 13 Apr 2015 17:18:07 -0400 Subject: [PATCH] Make sure that unknown characters in an mrow force the mrow to be measured. Resolves issue #1163. --- unpacked/jax/output/HTML-CSS/jax.js | 2 +- 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 index 7e3f7dac2..90e1242b9 100644 --- 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;