diff --git a/src/gui.js b/src/gui.js index 4df5926b1c..98e6e53185 100644 --- a/src/gui.js +++ b/src/gui.js @@ -545,6 +545,14 @@ IDE_Morph.prototype.openIn = function (world) { projectData.indexOf('