Menu: Replace ui-state-hover with ui-state-focus. More semantic, looks

the same.

Author: jzaefferer

themes/base/jquery.ui.menu.css

@@ -32,7 +32,7 @@
 .ui-menu .ui-menu-item a {
 	font-weight: normal;
 }
-.ui-menu .ui-menu-item a.ui-state-hover,
+.ui-menu .ui-menu-item a.ui-state-focus,
 .ui-menu .ui-menu-item a.ui-state-active {
 	font-weight: normal;
 	margin: -1px;

ui/jquery.ui.menu.js

@@ -136,7 +136,7 @@ $.widget("ui.menu", {
 		}
 		this.active = item.first()
 			.children( "a" )
-				.addClass( "ui-state-hover" )
+				.addClass( "ui-state-focus" )
 				.attr( "id", function(index, id) {
 					return (self.itemId = id || self.menuId + "-activedescendant");
 				})
@@ -153,7 +153,7 @@ $.widget("ui.menu", {
 		}
 
 		var self = this;
-		this.active.children( "a" ).removeClass( "ui-state-hover" );
+		this.active.children( "a" ).removeClass( "ui-state-focus" );
 		// remove only generated id
 		$( "#" + self.menuId + "-activedescendant" ).removeAttr( "id" );
 		this.element.removeAttr( "aria-activedescenant" );