Bug 30402 [Preferences] Banner should have 1-pixel border
build I20030115 In the Preferences and Properties dialogs, the banner currently has a black and white border on the bottom. It should have a black border all the way around it, plus the white line at the bottom. See the attached image from graphic design.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceDialog.java
lastShellSize = getShell().getSize();
	}
	/* (non-Javadoc)
	 * Method declared on Dialog.
	 */
	protected void createButtonsForButtonBar(Composite parent) {
		
		okButton =
			createButton(
				parent,
				IDialogConstants.OK_ID,
				IDialogConstants.OK_LABEL,
				true);
		getShell().setDefaultButton(okButton);
		cancelButton =
			createButton(
				parent,
				IDialogConstants.CANCEL_ID,
				IDialogConstants.CANCEL_LABEL,
				false);
		if (isHelpAvailable) {
			helpButton =
				createButton(
					parent,
					IDialogConstants.HELP_ID,
					IDialogConstants.HELP_LABEL,
					false);
		}
	}
	/* (non-Javadoc)