From 5f53a23e583904138347c04cd265f3c60dbf1dbd Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 25 Feb 2015 10:59:01 -0500
Subject: [PATCH] Force measurement of unknown characters, even when noReflows
 is active.

---
 unpacked/jax/output/HTML-CSS/jax.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index d93579b0c..7e3f7dac2 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -939,7 +939,8 @@
       for (i = 0, m = SPANS.length; i < m; i++) {
         span = SPANS[i]; if (!span) continue;
         bbox = span.bbox; parent = this.parentNode(span);
-        if (bbox.exactW || bbox.width || bbox.w === 0 || bbox.isMultiline || this.config.noReflows) {
+        if (bbox.exactW || bbox.width || bbox.w === 0 || bbox.isMultiline ||
+            (this.config.noReflows && bbox.exactW !== false)) {
           if (!parent.bbox) {parent.bbox = bbox}
           continue;
         }
@@ -1524,6 +1525,7 @@
         if (span.bbox.w + c[3]/1000 < span.bbox.lw) {span.bbox.lw = span.bbox.w + c[3]/1000}
         if (span.bbox.w + c[4]/1000 > span.bbox.rw) {span.bbox.rw = span.bbox.w + c[4]/1000}
         span.bbox.w += c[2]/1000;
+        if ((c[5]||{}).isUnknown) span.bbox.exactW = false;  // force measurement
       }
       if (newtext.length) {this.addText(SPAN,newtext)}
       if (span.scale && span.scale !== 1) {