www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 82d0ea22c29ec3c91a544d991daeef424ac12063
parent 13b16f9b26df1298110130bfa32dfeed2b07de26
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon,  8 Sep 2014 17:49:47 -0400

Fix a conflict with noReflows and mtextFontInherit.

Diffstat:
Munpacked/jax/output/HTML-CSS/jax.js | 2++
1 file changed, 2 insertions(+), 0 deletions(-)

diff --git 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 {