if (widthChange > 0) { redraw(resizeXPosition, 0, 1, getClientArea().height, false); update(); }
void mouseUp(Event event) {	TableColumn resizeColumn = getResizeColumn();	Rectangle oldColumnBounds;	int resizeXPosition;	int widthChange;	if (isColumnResizeStarted() == true) {		oldColumnBounds = resizeColumn.getBounds();		resizeXPosition = getColumnResizeX();			widthChange = resizeXPosition - (oldColumnBounds.x + oldColumnBounds.width);		if (widthChange != 0) {			if (widthChange > 0) {				redraw(resizeXPosition, 0, 1, getClientArea().height, false);		// remove resize line				update();															// to avoid cheese caused by scrolling the resize line			}			resizeColumn.setWidth(oldColumnBounds.width + widthChange);		}		setResizeColumn(null);	}}