pull/3/merge
Brian Broll 2015-05-23 17:09:45 -05:00
rodzic c67a13b7bd
commit 2cbba6c762
1 zmienionych plików z 2 dodań i 2 usunięć

4
gui.js
Wyświetl plik

@ -4733,8 +4733,8 @@ ProjectDialogMorph.prototype.getExamplesProjectList = function () {
}
}
);
projects.sort(function (x, y) {
return x.name < y.name ? -1 : 1;
projects = projects.sort(function (x, y) {
return x.name.toLowerCase() < y.name.toLowerCase() ? -1 : 1;
});
return projects;
};