/* Event: mouseenter This event fires when the mouse enters the area of the dom Element and will not be fired again if the mouse crosses over children of the Element (unlike the broken mouseover).  Example: [javascript] $('myElement').addEvent('mouseenter', myFunction); [/javascript]  See Also: <Element.addEvent> */  
(function(){var checkRelatedTarget = function(event){	var related = event.relatedTarget;	if (!related) return true;	return ($type(this) != 'document' && related != this && related.prefix != 'xul' && !this.hasChild(related));};Element.Events = new Hash({	/*	Event: mouseenter		This event fires when the mouse enters the area of the dom Element and will not be fired again if the mouse crosses over children of the Element		(unlike the broken mouseover).	Example:		[javascript]			$('myElement').addEvent('mouseenter', myFunction);		[/javascript]	See Also:		<Element.addEvent>	*/	mouseenter: {		base: 'mouseover',		condition: checkRelatedTarget	},	/*	Event: mouseleave		This event fires when the mouse exits the area of the dom Element; will not be fired again if the mouse crosses over children of the Element		(unlike the broken mouseout).	Example:		[javascript]			$('myElement').addEvent('mouseleave', myFunction);		[/javascript]	See Also:		<Element.addEvent>	*/	mouseleave: {		base: 'mouseout',		condition: checkRelatedTarget	},	/*	Event: mousewheel		This event fires when the mouse wheel is rotated;	Example:		[javascript]			$('myElement').addEvent('mousewheel', myFunction);		[/javascript]	Note:		this custom event just redirects DOMMouseScroll (mozilla) to mousewheel (opera, internet explorer), making it crossbrowser.	See Also:		<Element.addEvent>	*/	'mousewheel': {		base: (Browser.Engine.gecko) ? 'DOMMouseScroll' : 'mousewheel'	}});})();
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/ffab12d3ca21739cfc070c57fdb220ca5f412019/Element.Event.js/clean/Source/Element/Element.Event.js