OS.XFillRectangle(xDisplay, xWindow, xGC, MARGIN_WIDTH, MARGIN_HEIGHT, GRABBER_WIDTH, grabberHeight);
OS.XFillRectangle(xDisplay, xWindow, xGC, 4, MARGIN_HEIGHT, 3, grabberHeight);
int processPaint (int callData) {	int xDisplay = OS.XtDisplay (handle);	if (xDisplay == 0) return 0;	int xWindow = OS.XtWindow (handle);	if (xWindow == 0) return 0;		int xGC = OS.XCreateGC (xDisplay, xWindow, 0, null);	Display display = getDisplay();	int shadowPixel = display.getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW).handle.pixel;	int highlightPixel = display.getSystemColor(SWT.COLOR_WIDGET_HIGHLIGHT_SHADOW).handle.pixel;	int lightShadowPixel = display.getSystemColor(SWT.COLOR_WIDGET_LIGHT_SHADOW).handle.pixel;			int[] argList = {OS.XmNheight, 0};	OS.XtGetValues (handle, argList, argList.length / 2);	int height = argList[1];	int grabberHeight = height - (2 * MARGIN_HEIGHT);	/* Draw separator. */	OS.XSetForeground(xDisplay, xGC, shadowPixel);	OS.XDrawLine (xDisplay, xWindow, xGC, 0, 0, 0, height);	OS.XSetForeground(xDisplay, xGC, highlightPixel);	OS.XDrawLine (xDisplay, xWindow, xGC, 1, 0, 1, height);	/* Draw grabber. */	OS.XSetForeground(xDisplay, xGC, highlightPixel);	OS.XSetBackground(xDisplay, xGC, lightShadowPixel);	OS.XFillRectangle(xDisplay, xWindow, xGC, MARGIN_WIDTH, MARGIN_HEIGHT, GRABBER_WIDTH, grabberHeight);	OS.XSetForeground(xDisplay, xGC, shadowPixel);	int right = MARGIN_WIDTH + GRABBER_WIDTH;	int bottom = MARGIN_HEIGHT + grabberHeight;	OS.XDrawLine (xDisplay, xWindow, xGC, right, MARGIN_HEIGHT, right, bottom);	OS.XDrawLine (xDisplay, xWindow, xGC, MARGIN_WIDTH, bottom, right, bottom);				OS.XFreeGC(xDisplay, xGC);	return 0;}