From cf1470dcefb5952e463854fa58a942c0c717f4ff Mon Sep 17 00:00:00 2001
From: kborchers <kris.borchers@gmail.com>
Date: Thu, 15 Dec 2011 13:28:33 -0600
Subject: [PATCH] Menu: Replace accidentally removed scroll-handling code in
 focus

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

diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js
index 6e534b1ba..b73018a19 100644
--- a/ui/jquery.ui.menu.js
+++ b/ui/jquery.ui.menu.js
@@ -294,6 +294,21 @@ $.widget( "ui.menu", {
 	focus: function( event, item ) {
 		this.blur( event );
 
+		if ( this._hasScroll() ) {
+			var borderTop = parseFloat( $.curCSS( this.activeMenu[0], "borderTopWidth", true ) ) || 0,
+				paddingTop = parseFloat( $.curCSS( this.activeMenu[0], "paddingTop", true ) ) || 0,
+				offset = item.offset().top - this.activeMenu.offset().top - borderTop - paddingTop,
+				scroll = this.activeMenu.scrollTop(),
+				elementHeight = this.activeMenu.height(),
+				itemHeight = item.height();
+
+			if ( offset < 0 ) {
+				this.activeMenu.scrollTop( scroll + offset );
+			} else if ( offset + itemHeight > elementHeight ) {
+				this.activeMenu.scrollTop( scroll + offset - elementHeight + itemHeight );
+			}
+		}
+
 		this.active = item.first()
 			.children( "a" )
 				.addClass( "ui-state-focus" )