rem: leaveHover: function() { if (this.options.backgroundColor) { this.element.style.backgroundColor = this.oldBackground; } Element.removeClassName(this.element, this.options.hoverClassName) if (this.saving) return; this.effect = new Effect.Highlight(this.element, { startcolor: this.options.highlightcolor, endcolor: this.options.highlightendcolor, restorecolor: this.originalBackground }); 
add: leaveHover: function(e) { if (this.options.hoverClassName) this.element.removeClassName(this.options.hoverClassName); if (this._saving) return; this.triggerCallback('onLeaveHover'); 
context:   leaveHover: function() {    if (this.options.backgroundColor) {      this.element.style.backgroundColor = this.oldBackground;    }    Element.removeClassName(this.element, this.options.hoverClassName)    if (this.saving) return;    this.effect = new Effect.Highlight(this.element, {      startcolor: this.options.highlightcolor,      endcolor: this.options.highlightendcolor,      restorecolor: this.originalBackground    });  },
meta: 9100	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9100/2d4247a14ff4ce25ad80cbc65b787dfde7ddb16e/controls.js/buggy/typo3/contrib/scriptaculous/controls.js