From 5d266d2f81f453f2bce84e2794dd6f17740e37f7 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Thu, 11 Sep 2014 08:05:29 -0400
Subject: [PATCH] Take advantage of SVGdatStretched() rather than doing it by
 hand.

---
 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
index 66e1f9a6e..daae96c56 100644
--- 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);