From 4cd3488e60f61bbe6650fed3bf17591258cc38a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jens=20M=C3=B6nig?= <jens@moenig.org>
Date: Fri, 1 May 2015 12:11:07 -0400
Subject: [PATCH] =?UTF-8?q?formatting=20tweaks=20for=20JSLint=E2=80=99s=20?=
 =?UTF-8?q?benefit?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 gui.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gui.js b/gui.js
index 594a6821..4554f5f0 100644
--- a/gui.js
+++ b/gui.js
@@ -386,9 +386,9 @@ IDE_Morph.prototype.openIn = function (world) {
                             msg.destroy();
 
                             if (dict.editMode) {
-                                myself.toggleAppMode(false); 
+                                myself.toggleAppMode(false);
                             } else {
-                                myself.toggleAppMode(true); 
+                                myself.toggleAppMode(true);
                             }
 
                             if (!dict.noRun) {
@@ -397,7 +397,7 @@ IDE_Morph.prototype.openIn = function (world) {
 
                             if (dict.hideControls) {
                                 myself.controlBar.hide();
-                                window.onbeforeunload = function (evt) {};
+                                window.onbeforeunload = function () {nop(); };
                             }
                         }
                     ]);