Reset hidden primitives and code mappings upon loading a new project

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);

history.txt

@@ -1795,3 +1795,7 @@ ______
 ------
 * Objects, Blocks, Threads: Collapsed codification primitives (code, header) into a single block
 * Blocks: Added isEmptySlot() to BooleanArgMorph (thanks, Brian, for the bug report!)
+
+130710
+------
+* GUI: Reset hidden primitives and code mappings upon loading a new project