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 +
 history.txt | 1 +
 2 files changed, 2 insertions(+)

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();
diff --git a/history.txt b/history.txt
index a43793b..32efec2 100755
--- a/history.txt
+++ b/history.txt
@@ -1904,3 +1904,4 @@ ______
 * GUI: getPublicProject adjustments (lowercase username)
 * GUI: prompt() - invocation fixes (null-choices)
 * GUI: synchronous URL fetching simplifications for libraries and example projects
+* GUI: fixed #115 - prevent loading several instances of the same block definition
-- 
cgit v1.3.1