From 87c9655335a688bf5ec52127ce1fde46d4c60d58 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 25 Jun 2015 15:48:26 +0200
Subject: add some spaces

to satisfy old.jslint.com :-)
---
 gui.js | 7 +++----
 1 file 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'
-- 
cgit v1.3.1