fix vertical spacing of empty lines. fixes #31

faustedition · Jul 9, 2018 · 7644b1f · 7644b1f
1 parent 34e5ea4
commit 7644b1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svg_rendering/page/js-gen/transcript-svg.js b/svg_rendering/page/js-gen/transcript-svg.js
@@ -216,7 +216,7 @@ if (window.FaustTranscript === undefined) {
         var originalLineWidth = this.constructor.superclass.getExt.call(this, 0)
         var extElement = this.svgDocument().createElementNS(SVG_NS, "rect");
         this.view.insertBefore(extElement, this.view.childNodes[0]);
-        extElement.setAttribute("width", originalLineWidth);
+        extElement.setAttribute("width", Math.max(originalLineWidth, 0.01)); // Never let width be 0, measuring errors
         extElement.setAttribute("height", String(Faust.TranscriptConfiguration.lineSpacingValue)
             + Faust.TranscriptConfiguration.lineSpacingUnit);
         matrix = matrix.rotate(coordRotation);