ui-menu.js.diff

diff --git a/ui/menu.js b/ui/menu.js
index 479ff5a..9740e2b 100644
--- a/ui/menu.js
+++ b/ui/menu.js
@@ -102,6 +102,9 @@ return $.widget( "ui.menu", {
 			},
 			"mouseenter .ui-menu-item": function( event ) {
 				var target = $( event.currentTarget );
+				if ( this.previousFilter ) {
+					return;
+				}
 				// Remove ui-state-active class from siblings of the newly focused menu item
 				// to avoid a jump caused by adjacent elements both having a class with a border
 				target.siblings( ".ui-state-active" ).removeClass( "ui-state-active" );