Merge pull request #606 from Gubolin/issue_190

show an error message if project cannot be loaded (fix #190)
pull/3/merge
Jens Mönig 2015-06-25 15:50:26 +02:00
commit c701598df1
1 zmienionych plików z 2 dodań i 1 usunięć

3
gui.js
Wyświetl plik

@ -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 '';
}
}