- marginWidth - marginWidth, theight, true);
}
gc.setBackground(getBackground());
FormUtil.setAntialias(gc, SWT.ON);
// repair the upper left corner
gc.fillPolygon(new int[] { marginWidth, marginHeight, marginWidth,
marginHeight + 2, marginWidth + 2, marginHeight });
// repair the upper right corner
gc.fillPolygon(new int[] { bounds.width - marginWidth - 3,
marginHeight, bounds.width - marginWidth, marginHeight,
bounds.width - marginWidth, marginHeight + 3 });