rem: if (!this.isEnabled() || this._hresize.column == null || tw_getEventTarget(event).className != "gridBoxColumnHeader") return; 
add: if (!this._enabled || this._hresize.column == null || tw_getEventTarget(event).className != "gridBoxColumnHeader") return; 
context:     _headerMouseDownListener: function(event) {        if (!this.isEnabled() || this._hresize.column == null || tw_getEventTarget(event).className != "gridBoxColumnHeader") return;            this._hresize.startX = event.clientX;    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/d532c0ea03ef1c91856bba5408f049541b39c2ba/GridBox.js/buggy/src/thinwire/render/web/resources/GridBox.js