Merge pull request #76 from queryselector/issue-72

Fixed #72
pull/3/merge
Jens Mönig 2013-04-23 08:21:36 -07:00
commit 3328d87f2f
1 zmienionych plików z 4 dodań i 2 usunięć

6
gui.js
Wyświetl plik

@ -3964,7 +3964,6 @@ ProjectDialogMorph.prototype.saveProject = function () {
this.ide.projectNotes = notes || this.ide.projectNotes;
if (name) {
this.ide.setProjectName(name);
if (this.source === 'cloud') {
if (detect(
this.projectList,
@ -3976,11 +3975,12 @@ ProjectDialogMorph.prototype.saveProject = function () {
) + '\n"' + name + '"?',
'Replace Project',
function () {
myself.ide.setProjectName(name);
myself.saveCloudProject();
}
);
} else {
this.ide.setProjectName(name);
myself.saveCloudProject();
}
} else { // 'local'
@ -3994,12 +3994,14 @@ ProjectDialogMorph.prototype.saveProject = function () {
) + '\n"' + name + '"?',
'Replace Project',
function () {
myself.ide.setProjectName(name);
myself.ide.source = 'local';
myself.ide.saveProject(name);
myself.destroy();
}
);
} else {
this.ide.setProjectName(name);
myself.ide.source = 'local';
this.ide.saveProject(name);
this.destroy();