From 405c36805b759baa5e20b6fb092e2b54411ed443 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Mon, 4 Nov 2013 13:58:44 +0100
Subject: filter quotation marks from project names

(for backend index)
---
 gui.js      | 4 ++--
 history.txt | 4 ++++
 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)
-- 
cgit v1.3.1