added "svg" entry to the stage icon's context menu

HISTORY.md

@@ -16,6 +16,7 @@
 * objects: added aspect racio governance and generator tags to trails SVGs
 * threads: catch empty trails log when trying to generate a vector trails costume
 * objects: support relabelling "pen trails" to "pen trails (SVG)" and vice-versa
+* gui: added "svg" entry to the stage icon's context menu
 
 ## v5.3.8:
 * **Notable Change:**

src/gui.js

@@ -8020,6 +8020,13 @@ SpriteIconMorph.prototype.userMenu = function () {
             },
             'open a new window\nwith a picture of the stage'
         );
+        if (this.object.trailsLog.length) {
+            menu.addItem(
+                'svg...',
+                function () {myself.object.exportTrailsLogAsSVG(); },
+                'export pen trails line segments as SVG'
+            );
+        }
         return menu;
     }
     if (!(this.object instanceof SpriteMorph)) {return null; }