rem: if (!this.isEnabled() || tw_getEventButton(ev) != 1) return; 
add: if (!this._enabled || tw_getEventButton(ev) != 1) return; 
context:     _mouseDownListener: function(ev) {        if (!this.isEnabled() || tw_getEventButton(ev) != 1) return;        this._borderBox.style.borderStyle = "inset";    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/d532c0ea03ef1c91856bba5408f049541b39c2ba/Button.js/clean/src/thinwire/render/web/resources/Button.js