From 11d24ee84cc29adf7349b08031146936cf4dd9a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=CC=88rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Thu, 14 Jul 2011 11:10:28 -0400
Subject: [PATCH] Menu: Fix formatting and whitespace (was supposed to update
 previous commit)

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

diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js
index 83ff1b949..66601ef38 100644
--- a/ui/jquery.ui.menu.js
+++ b/ui/jquery.ui.menu.js
@@ -301,10 +301,13 @@ $.widget( "ui.menu", {
 
 	_startOpening: function( submenu ) {
 		clearTimeout( this.timer );
-		
-		//Don't open if already open fixes a Firefox bug that caused a .5 pixel shift in the submenu position when mousing over the carat icon
-		if ( submenu.attr( "aria-hidden" ) !== "true" ) return;
-		
+
+		// Don't open if already open fixes a Firefox bug that caused a .5 pixel
+		// shift in the submenu position when mousing over the carat icon
+		if ( submenu.attr( "aria-hidden" ) !== "true" ) {
+			return;
+		}
+
 		var self = this;
 		self.timer = setTimeout( function() {
 			self._close();