filter quotation marks from project names

(for backend index)

2 files changed, 6 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();
 };
diff --git a/history.txt b/history.txt
index c2c4531..73ee3ff 100755
--- a/history.txt
+++ b/history.txt
@@ -1976,3 +1976,7 @@ ______
 * Portuguese translation update
 * Widgets: enable Symbols in InputField drop down menus
 * BYOB: enable Symbols in InputSlotDialog Morph’s drop down menu
+
+131104
+———
+* GUI: filter quotation marks from project names (for backend index)