rem: }; 
add: } 
context: qx.Proto._onmouseout = function(evt) {  /*  // Workaround: See _onmousemove  this._lastMousePageX = null;  this._lastMousePageY = null;  */  // Reset the resize cursor when the mouse leaves the header  // If currently a column is resized then do nothing  // (the cursor will be reset on mouseup)  if (this._resizeColumn != null) {    this.getTopLevelWidget().setGlobalCursor(null);  }  this._header.setMouseOverColumn(null);};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/TablePaneScroller.js/buggy/qooxdoo/source/script/qx/ui/table/TablePaneScroller.js