if (oldArea.width < area.width) { width = area.width - oldArea.width + borderRight + highlight; } else if (oldArea.width > area.width) {
if (oldSize.x < size.x) { width = size.x - oldSize.x + borderRight + highlight; } else if (oldSize.x > size.x) {
void onResize() {	layout();		Rectangle area = super.getClientArea();	if (oldArea == null || oldArea.width == 0 || oldArea.height == 0) {		redraw();	} else {		int width = 0;		if (oldArea.width < area.width) {			width = area.width - oldArea.width + borderRight + highlight;		} else if (oldArea.width > area.width) {			width = borderRight + highlight;					}		redraw(area.x + area.width - width, area.y, width, area.height, false);				int height = 0;		if (oldArea.height < area.height) {			height = area.height - oldArea.height + borderBottom + highlight;				}		if (oldArea.height > area.height) {			height = borderBottom + highlight;				}		redraw(area.x, area.y + area.height - height, area.width, height, false);	}	oldArea = area;}