| SWT.V_SCROLL);
final Color detailsBgColor = new Color(null, 255, 255, 255);
details.setBackground(detailsBgColor);
details.addDisposeListener(new DisposeListener() {
public void widgetDisposed(DisposeEvent arg0) {
detailsBgColor.dispose();
}
});
sash.setWeights(new int[] {80, 20});