From 9ca58570819d895261734076af45b4c8c5d7b075 Mon Sep 17 00:00:00 2001
From: Code WvS <code-wvs@quantentunnel.de>
Date: Sun, 8 Mar 2015 12:01:54 +0100
Subject: differ between shapes and lines

---
 gui.js | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 8cd3aaa..ed01c23 100644
--- a/gui.js
+++ b/gui.js
@@ -2836,6 +2836,8 @@ IDE_Morph.prototype.newProject = function () {
         window.map.removeLayer(window.penTrails);
     }
     window.penTrails = L.layerGroup().addTo(window.map);
+    window.penShapes = L.layerGroup().addTo(window.penTrails);
+    window.penLines = L.layerGroup().addTo(window.penTrails);
 
     this.currentSprite = new SpriteMorph(this.globalVariables);
     this.sprites = new List([this.currentSprite]);
-- 
cgit v1.3.1