diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js index 33a01ea9c..66e1f9a6e 100644 --- a/unpacked/jax/output/SVG/jax.js +++ b/unpacked/jax/output/SVG/jax.js @@ -1641,10 +1641,11 @@ MML.mrow.Augment({ SVG: BBOX.ROW, - toSVG: function () { + toSVG: function (h,d) { this.SVGgetStyles(); var svg = this.SVG(); this.SVGhandleSpace(svg); + if (d != null) {this.sh = h; this.sd = d} for (var i = 0, m = this.data.length; i < m; i++) {if (this.data[i]) {svg.Check(this.data[i])}} svg.Stretch(); svg.Clean(); @@ -1664,16 +1665,18 @@ }, SVGmultiline: function (span) {MML.mbase.SVGautoloadFile("multiline")}, SVGstretchH: function (w) { - var svg = this.data[this.core].SVGstretchH(w); - this.SVGhandleColor(svg); + var svg = this.SVG(), child; + this.SVGhandleSpace(svg); + for (var i = 0, m = this.data.length; i < m; i++) { + if (!this.data[i]) continue; + if (i === this.core) {child = this.data[i].SVGstretchH(w)} + else {child = this.data[i].toSVG()} + svg.Add(child,svg.w,0); + } + svg.Clean(); + this.SVGhandleColor(svg); this.SVGsaveData(svg); - return svg; - }, - SVGstretchV: function (h,d) { - var svg = this.data[this.core].SVGstretchV(h,d); - this.SVGhandleColor(svg); - this.SVGsaveData(svg); - return svg; + return svg; } });