support exported SVGs to be edited by Inkscape (sigh)

HISTORY.md

@@ -2,8 +2,12 @@
 
 ## in development:
 
+* **Notable Fixes:**
+    * support exported SVGs to be edited by Inkscape (sigh)
+
 ### 2020-11-19
 * new dev version
+* objects: tweaked exported SVG's color alpha part as stroke-opacity so Inkscape can handle them, sigh.
 
 ## 6.3.4
 * **Notable Changes:**

snap.html

@@ -10,7 +10,7 @@
         <script src="src/widgets.js?version=2020-10-06"></script>
         <script src="src/blocks.js?version=2020-11-17"></script>
         <script src="src/threads.js?version=2020-11-15"></script>
-        <script src="src/objects.js?version=2020-11-18"></script>
+        <script src="src/objects.js?version=2020-11-19"></script>
         <script src="src/gui.js?version=2020-11-19"></script>
         <script src="src/paint.js?version=2020-05-17"></script>
         <script src="src/lists.js?version=2020-07-01"></script>

src/objects.js

@@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph,  BooleanSlotMorph,
 localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
 AlignmentMorph, Process, WorldMap, copyCanvas, useBlurredShadows*/
 
-modules.objects = '2020-November-18';
+modules.objects = '2020-November-19';
 
 var SpriteMorph;
 var StageMorph;
@@ -8940,7 +8940,8 @@ StageMorph.prototype.trailsLogAsSVG = function () {
         p2 = this.normalizePoint(line[1]).translateBy(shift);
         svg += '<line x1="' + p1.x + '" y1="' + p1.y +
             '" x2="' + p2.x + '" y2="' + p2.y + '" ' +
-            'style="stroke:' + line[2].toString() + ';' +
+            'style="stroke:' + line[2].toRGBstring() + ';' +
+            'stroke-opacity:' + line[2].a + ';' +
             'stroke-width:' + line[3] +
             ';stroke-linecap:' + line[4] +
             '" />';