From 2589ec517206d4325b58e2678016f19945b2fbb9 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Wed, 10 Jul 2013 08:55:39 +0200 Subject: Reset hidden primitives and code mappings upon loading a new project --- gui.js | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'gui.js') diff --git a/gui.js b/gui.js index d13df20..194093b 100644 --- a/gui.js +++ b/gui.js @@ -68,7 +68,7 @@ sb, CommentMorph, CommandBlockMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.gui = '2013-July-04'; +modules.gui = '2013-July-10'; // Declarations @@ -2717,6 +2717,10 @@ IDE_Morph.prototype.openProjectString = function (str) { IDE_Morph.prototype.rawOpenProjectString = function (str) { this.toggleAppMode(false); this.spriteBar.tabBar.tabTo('scripts'); + StageMorph.prototype.hiddenPrimitives = {}; + StageMorph.prototype.codeMappings = {}; + StageMorph.prototype.codeHeaders = {}; + StageMorph.prototype.enableCodeMapping = false; if (Process.prototype.isCatchingErrors) { try { this.serializer.openProject(this.serializer.load(str), this); @@ -2747,6 +2751,10 @@ IDE_Morph.prototype.openCloudDataString = function (str) { IDE_Morph.prototype.rawOpenCloudDataString = function (str) { var model; + StageMorph.prototype.hiddenPrimitives = {}; + StageMorph.prototype.codeMappings = {}; + StageMorph.prototype.codeHeaders = {}; + StageMorph.prototype.enableCodeMapping = false; if (Process.prototype.isCatchingErrors) { try { model = this.serializer.parse(str); -- cgit v1.3.1