filter quotation marks from project names

(for backend index)

1 files changed, 2 insertions, 2 deletions

diff --git a/gui.js b/gui.js
index debb0b7..af542de 100644
--- a/gui.js
+++ b/gui.js
@@ -68,7 +68,7 @@ sb, CommentMorph, CommandBlockMorph, BlockLabelPlaceHolderMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2013-October-04';
+modules.gui = '2013-November-04';
 
 // Declarations
 
@@ -1439,7 +1439,7 @@ IDE_Morph.prototype.fixLayout = function (situation) {
 };
 
 IDE_Morph.prototype.setProjectName = function (string) {
-    this.projectName = string;
+    this.projectName = string.replace(/['"]/g, ''); // filter quotation marks
     this.hasChangedMedia = true;
     this.controlBar.updateLabel();
 };