From 11d24ee84cc29adf7349b08031146936cf4dd9a9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jo=CC=88rn=20Zaefferer?= 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(); -- 2.39.5