From a57c43525786712207f8067df68045c2c33c1e04 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jo=CC=88rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Thu, 28 Jul 2011 15:56:57 +0200
Subject: [PATCH] Whitespace

---
 ui/jquery.ui.menu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js
index c2890502c..27e76d909 100644
--- a/ui/jquery.ui.menu.js
+++ b/ui/jquery.ui.menu.js
@@ -40,7 +40,7 @@ $.widget( "ui.menu", {
 			})
 			// need to catch all clicks on disabled menu
 			// not possible through _bind
-			.bind("click.menu", function( event ) {
+			.bind( "click.menu", function( event ) {
 				if ( self.options.disabled ) {
 					event.preventDefault();
 				}
-- 
2.39.5