rem: else { document.attachEvent( "onmouseup",   this._mouseUpHandler.bindAsEventListener(this) ); document.attachEvent( "onmousemove", this._mouseMoveHandler.bindAsEventListener(this) ); 
add: else if (document.attachEvent) { document.attachEvent( "onmouseup",   this._mouseUpHandler.bindAsEventListener(this) ); document.attachEvent( "onmousemove", this._mouseMoveHandler.bindAsEventListener(this) ); } else { document.onmouseup = this._mouseUpHandler.bindAsEventListener(this); document.onmousemove = this._mouseMoveHandler.bindAsEventListener(this); 
context: 	   initializeEventHandlers: function() {	      if ( typeof document.implementation != "undefined" &&	         document.implementation.hasFeature("HTML",   "1.0") &&	         document.implementation.hasFeature("Events", "2.0") &&	         document.implementation.hasFeature("CSS",    "2.0") ) {	         document.addEventListener("mouseup",   this._mouseUpHandler.bindAsEventListener(this),  false);	         document.addEventListener("mousemove", this._mouseMoveHandler.bindAsEventListener(this), false);	      }	      else {	         document.attachEvent( "onmouseup",   this._mouseUpHandler.bindAsEventListener(this) );	         document.attachEvent( "onmousemove", this._mouseMoveHandler.bindAsEventListener(this) );	      }	   }
meta: 5054	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5054/cc89380534d5e367c754a186be2c716b4b8ff5eb/rico.js/buggy/share/web/static/js/rico.js