From d278b2b1507027ead1cf14a901b800dad918484b Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Mon, 16 Sep 2013 17:00:10 +0200
Subject: fixed #115

prevent loading several instances of the same block definition
---
 gui.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 23b0c63..43fb535 100644
--- a/gui.js
+++ b/gui.js
@@ -2808,6 +2808,7 @@ IDE_Morph.prototype.rawOpenBlocksString = function (str, name, silently) {
         blocks.forEach(function (def) {
             def.receiver = myself.stage;
             myself.stage.globalBlocks.push(def);
+            myself.stage.replaceDoubleDefinitionsFor(def);
         });
         this.flushPaletteCache();
         this.refreshPalette();
-- 
cgit v1.3.1