From 4cd3488e60f61bbe6650fed3bf17591258cc38a8 Mon Sep 17 00:00:00 2001
From: Jens Mönig <jens@moenig.org>
Date: Fri, 1 May 2015 12:11:07 -0400
Subject: formatting tweaks for JSLint’s 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(-)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 594a682..4554f5f 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(); };
                             }
                         }
                     ]);
-- 
cgit v1.3.1