commit 3ae1a4621704a4b7f5f892ed22660836cda536ac
parent 13b16f9b26df1298110130bfa32dfeed2b07de26
Author: Davide P. Cervone <dpvc@union.edu>
Date: Thu, 4 Sep 2014 19:41:19 -0400
Take vertical offset into account in mpadded background color in SVG output. Resolves issue #800.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -1619,7 +1619,7 @@
if (values.voffset) {y = this.SVGlength2em(pad,values.voffset,mu)}
var h = pad.h, d = pad.d, w = pad.w; // these can change durring the Add()
svg.Add(pad,x,y); svg.Clean();
- svg.h = h; svg.d = d; svg.w = w; svg.removeable = false;
+ svg.h = h+pad.y; svg.d = d-pad.y; svg.w = w; svg.removeable = false;
if (values.height !== "") {svg.h = this.SVGlength2em(svg,values.height,mu,"h",0)}
if (values.depth !== "") {svg.d = this.SVGlength2em(svg,values.depth,mu,"d",0)}
if (values.width !== "") {svg.w = this.SVGlength2em(svg,values.width,mu,"w",0)}