Handle padding in measured children when noReflows is used (e.g., in …

…maction tags around operators).
dictbox · Feb 17, 2015 · fe0d977 · fe0d977
1 parent 49c3e3a
commit fe0d977
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -892,8 +892,14 @@
       return HD;
     },
     getW: function (span) {
-      if (span.bbox && this.config.noReflows && span.bbox.exactW !== false) {return span.bbox.w}
       var W, H, w = (span.bbox||{}).w, start = span;
+      if (span.bbox && this.config.noReflows && span.bbox.exactW !== false) {
+        if (!span.bbox.exactW) {
+          if (span.style.paddingLeft) w += this.unEm(span.style.paddingLeft)*(span.scale||1);
+          if (span.style.paddingRight) w += this.unEm(span.style.paddingRight)*(span.scale||1);
+        }
+        return w;
+      }
       if (span.bbox && span.bbox.exactW) {return w}
       if ((span.bbox && w >= 0 && !this.initialSkipBug && !this.msieItalicWidthBug) ||
            this.negativeBBoxes || !span.firstChild) {