rem: if (!item.disabled) 
add: if (item.style.color != tw_COLOR_GRAYTEXT) 
context:     _itemMouseOver: function(event) {        var item = tw_getEventTarget(event, "menuItem");        var parentContent = item.parentNode;                    this._setHighlight(item, true);                if (!item.disabled)            this._open(item);    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/37796fea05d0eb86951d2f34aedeb66e8b500920/Menu.js/buggy/src/thinwire/render/web/resources/Menu.js