From 82d0ea22c29ec3c91a544d991daeef424ac12063 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 8 Sep 2014 17:49:47 -0400 Subject: [PATCH] Fix a conflict with noReflows and mtextFontInherit. --- unpacked/jax/output/HTML-CSS/jax.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js index 7a5292568..c72ae0dee 100644 --- a/unpacked/jax/output/HTML-CSS/jax.js +++ b/unpacked/jax/output/HTML-CSS/jax.js @@ -2049,6 +2049,7 @@ HTMLCSS.addElement(span,"span",{style:{"font-size":scale}},[text]); if (variant.bold) {span.lastChild.style.fontWeight = "bold"} if (variant.italic) {span.lastChild.style.fontStyle = "italic"} + delete span.bbox; var HD = HTMLCSS.getHD(span), W = HTMLCSS.getW(span); span.bbox = {h:HD.h, d:HD.d, w:W, lw:0, rw:W, exactW: true}; } else { @@ -2065,6 +2066,7 @@ HTMLCSS.addElement(span,"span",{style:{"font-size":scale}},[text]); if (variant.bold) {span.lastChild.style.fontWeight = "bold"} if (variant.italic) {span.lastChild.style.fontStyle = "italic"} + delete span.bbox; var HD = HTMLCSS.getHD(span), W = HTMLCSS.getW(span); span.bbox = {h:HD.h, d:HD.d, w:W, lw:0, rw:W, exactW: true}; } else {