From 405c36805b759baa5e20b6fb092e2b54411ed443 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Mon, 4 Nov 2013 13:58:44 +0100 Subject: filter quotation marks from project names (for backend index) --- gui.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gui.js') 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(); }; -- cgit v1.3.1