rem: this._lastMoveColPos += pageX - this._lastMoveMousePageX; 
context: qx.Proto._onmousemove = function(evt) {  var tableModel = this.getTable().getTableModel();  var columnModel = this.getTable().getTableColumnModel();  var useResizeCursor = false;  var mouseOverColumn = null;  var pageX = evt.getPageX();  var pageY = evt.getPageY();  // Workaround: In onmousewheel the event has wrong coordinates for pageX  //       and pageY. So we remember the last move event.  this._lastMousePageX = pageX;  this._lastMousePageY = pageY;  if (this._resizeColumn != null) {    // We are currently resizing -> Update the position    var minColumnWidth = qx.ui.table.TablePaneScroller.MIN_COLUMN_WIDTH;    var newWidth = Math.max(minColumnWidth, this._lastResizeWidth + pageX - this._lastResizeMousePageX);    if (this.getLiveResize()) {      columnModel.setColumnWidth(this._resizeColumn, newWidth);    } else {      this._header.setColumnWidth(this._resizeColumn, newWidth);      var paneModel = this.getTablePaneModel();      this._showResizeLine(paneModel.getColumnLeft(this._resizeColumn) + newWidth);    }    useResizeCursor = true;    this._lastResizeMousePageX += newWidth - this._lastResizeWidth;    this._lastResizeWidth = newWidth;  } else if (this._moveColumn != null) {    // We are moving a column    this._lastMoveColPos += pageX - this._lastMoveMousePageX;    this._header.showColumnMoveFeedback(this._moveColumn, this._lastMoveColPos);    // Get the responsible scroller    var targetScroller = this._table.getTablePaneScrollerAtPageX(pageX);    if (this._lastMoveTargetScroller && this._lastMoveTargetScroller != targetScroller) {      this._lastMoveTargetScroller.hideColumnMoveFeedback();    }    if (targetScroller != null) {      this._lastMoveTargetX = targetScroller.showColumnMoveFeedback(pageX);    } else {      this._lastMoveTargetX = null;    }    this._lastMoveTargetScroller = targetScroller;    this._lastMoveMousePageX = pageX;  } else {    // This is a normal mouse move    var row = this._getRowForPagePos(pageX, pageY);    if (row == -1) {      // The mouse is over the header      var resizeCol = this._getResizeColumnForPageX(pageX);      if (resizeCol != -1) {        // The mouse is over a resize region -> Show the right cursor        useResizeCursor = true;      } else {        var col = this._getColumnForPageX(pageX);        if (col != null && tableModel.isColumnSortable(col)) {          mouseOverColumn = col;        }      }    } else if (row != null) {      // The mouse is over the data -> update the focus      if (this.getFocusCellOnMouseMove()) {        this._focusCellAtPagePos(pageX, pageY);      }    }  }  // Workaround: Setting the cursor to the right widget doesn't work  //this._header.setCursor(useResizeCursor ? "e-resize" : null);  this.getTopLevelWidget().setGlobalCursor(useResizeCursor ? qx.ui.table.TablePaneScroller.CURSOR_RESIZE_HORIZONTAL : null);  this._header.setMouseOverColumn(mouseOverColumn);}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/f0dbd6eeeef7b807316dce2785b502cc6b562e99/TablePaneScroller.js/clean/qooxdoo/frontend/framework/source/class/qx/ui/table/TablePaneScroller.js