width += DEFAULT_WIDTH;  height += 3;
width += DEFAULT_WIDTH;  height += SASH_WIDTH;
public Point computeSize (int wHint, int hHint, boolean changed) {	checkWidget();	int border = getBorderWidth ();	int width = border * 2, height = border * 2;	if ((style & SWT.HORIZONTAL) != 0) {		width += DEFAULT_WIDTH;  height += 3;	} else {		width += 3; height += DEFAULT_HEIGHT;	}	if (wHint != SWT.DEFAULT) width = wHint + (border * 2);	if (hHint != SWT.DEFAULT) height = hHint + (border * 2);	return new Point (width, height);}