add some spaces

to satisfy old.jslint.com :-)

1 files changed, 3 insertions, 4 deletions

diff --git a/gui.js b/gui.js
index b4f0faa..0fae8d3 100644
--- a/gui.js
+++ b/gui.js
@@ -84,8 +84,8 @@ var JukeboxMorph;
 
 // Get the full url without "snap.html"
 var baseUrl = document.URL.split('/');
-baseUrl.pop(baseUrl.length-1);
-baseUrl = baseUrl.join('/')+'/'; 
+baseUrl.pop(baseUrl.length - 1);
+baseUrl = baseUrl.join('/') + '/';
 
 // IDE_Morph ///////////////////////////////////////////////////////////
 
@@ -4834,8 +4834,7 @@ ProjectDialogMorph.prototype.openProject = function () {
     if (this.source === 'cloud') {
         this.openCloudProject(proj);
     } else if (this.source === 'examples') {
-        src = this.ide.getURL(baseUrl + 'Examples/' + proj.name + '.xml'
-        );
+        src = this.ide.getURL(baseUrl + 'Examples/' + proj.name + '.xml');
         this.ide.openProjectString(src);
         this.destroy();
     } else { // 'local'