draw pen trails; expand to polygons automatically

1 files changed, 4 insertions, 0 deletions

diff --git a/gui.js b/gui.js
index 7c4315c..9972527 100644
--- a/gui.js
+++ b/gui.js
@@ -2830,6 +2830,10 @@ IDE_Morph.prototype.newProject = function () {
         window.map.removeLayer(window.spriteGroup);
     }
     window.spriteGroup = L.layerGroup().addTo(window.map);
+    if (window.map.hasLayer(window.penTrails)) {
+        window.map.removeLayer(window.penTrails);
+    }
+    window.penTrails = L.layerGroup().addTo(window.map);
 
     this.currentSprite = new SpriteMorph(this.globalVariables);
     this.sprites = new List([this.currentSprite]);