/**
* This method interrupts resiszing.
*
* @param event is an event.
*/
protected void interruptResizing(Event event) {
int positionX = getPositionX(event);
int positionY = getPositionY(event);
Element thead = grid.getTHeadElement();
int left = DOM.getAbsoluteLeft(thead);
int top = DOM.getAbsoluteTop(thead);
int width = getElementWidth(thead);
int height = getElementHeight(thead);
if (positionX < left
|| positionX > left + width
|| positionY < top
|| positionY > top + height) {
th = null;
timer.cancel();
}
}
/** This method normally stops resisng and changes column width. */
protected void stopResizing() {
resize();
timer.cancel();
th = null;
}