diff options
| -rw-r--r-- | gui.js | 1 | ||||
| -rwxr-xr-x | history.txt | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -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 |
