diff --git a/gui.js b/gui.js index 8f5223b9..c7ca3af9 100644 --- a/gui.js +++ b/gui.js @@ -4347,9 +4347,7 @@ IDE_Morph.prototype.openProject = function (name) { IDE_Morph.prototype.setURL = function (str) { // Set the URL to a project's XML contents - if (this.projectsInURLs) { - location.hash = str; - } + location.hash = this.projectsInURLs ? str : ''; }; IDE_Morph.prototype.saveFileAs = function (