From 4e2850039173819eb612d4d2a7cebe155f0e94cc Mon Sep 17 00:00:00 2001
From: kborchers <kris.borchers@gmail.com>
Date: Tue, 8 May 2012 23:57:56 -0500
Subject: [PATCH] Menu: Whitespace

---
 ui/jquery.ui.menu.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js
index 8956d6404..7704521fb 100644
--- a/ui/jquery.ui.menu.js
+++ b/ui/jquery.ui.menu.js
@@ -331,12 +331,12 @@ $.widget( "ui.menu", {
 		this.active.parent().closest( ".ui-menu-item" ).children( "a:first" ).addClass( "ui-state-active" );
 
 		if ( event.type === "keydown" ) {
-            this._close();
-        } else {
-            this.timer = this._delay(function() {
+			this._close();
+		} else {
+			this.timer = this._delay(function() {
 				this._close();
 			}, this.delay );
-        }
+		}
 
 		nested = $( "> .ui-menu", item );
 		if ( nested.length && ( /^mouse/.test( event.type ) ) ) {