add indentation

again to please old.jslint.com :-)
pull/3/merge
jmoenig 2015-06-25 16:35:00 +02:00
rodzic 253d800b42
commit de82d373be
1 zmienionych plików z 3 dodań i 3 usunięć

6
gui.js
Wyświetl plik

@ -5040,9 +5040,9 @@ ProjectDialogMorph.prototype.shareProject = function () {
if (proj.ProjectName === ide.projectName) {
var usr = SnapCloud.username,
projectId = 'Username=' +
encodeURIComponent(usr.toLowerCase()) +
'&ProjectName=' +
encodeURIComponent(proj.projectName);
encodeURIComponent(usr.toLowerCase()) +
'&ProjectName=' +
encodeURIComponent(proj.projectName);
location.hash = projectId;
}
},