diff options
| -rw-r--r-- | gui.js | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -309,7 +309,8 @@ IDE_Morph.prototype.openIn = function (world) { } throw new Error('unable to retrieve ' + url); } catch (err) { - return; + myself.showMessage('unable to retrieve project'); + return ''; } } |
