commit 51742a79ccfbaf380bc9a422be6cfacee4e94455
parent d2fd86b75a0d105700809f192754088485dfd11c
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sat, 21 Mar 2015 07:16:17 -0400
Copy scaling factors to new bbox in mpadded.
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1830,7 +1830,8 @@
node.style.width = 0;
node.style.marginTop = CHTML.Em(h-STRUTHEIGHT);
node.style.padding = "0 "+CHTML.Em(w)+" "+CHTML.Em(d)+" 0";
- var bbox = CHTML.BBOX({w:w, h:h, d:d, l:0, r:w, t:h, b:d});
+ var bbox = CHTML.BBOX({w:w, h:h, d:d, l:0, r:w, t:h, b:d,
+ scale:this.CHTML.scale, rscale:this.CHTML.rscale});
bbox.combine(cbox,x,y);
bbox.w = w; bbox.h = h; bbox.d = d;
this.CHTML = bbox;