formatting tweaks for JSLint’s benefit

gui.js

@@ -397,7 +397,7 @@ IDE_Morph.prototype.openIn = function (world) {
 
                             if (dict.hideControls) {
                                 myself.controlBar.hide();
-                                window.onbeforeunload = function (evt) {};
+                                window.onbeforeunload = function () {nop(); };
                             }
                         }
                     ]);