www

commit 5d266d2f81f453f2bce84e2794dd6f17740e37f7
parent cfc6fa2ae09efa802eb9b5195631f1ccc9ced7fe
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 11 Sep 2014 08:05:29 -0400

Take advantage of SVGdatStretched() rather than doing it by hand.

Diffstat:
M
unpacked/jax/output/SVG/jax.js
 | 
10
+++-------

1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -1665,14 +1665,10 @@
       },
       SVGmultiline: function (span) {MML.mbase.SVGautoloadFile("multiline")},
       SVGstretchH: function (w) {
-	var svg = this.SVG(), child;
+	var svg = this.SVG();
         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);
-        }
+	for (var i = 0, m = this.data.length; i < m; i++)
+          {svg.Add(this.SVGdataStretched(i,w),svg.w,0)}
         svg.Clean();
         this.SVGhandleColor(svg);
         this.SVGsaveData(svg);