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
if (newPage == currentPage)
			return true;
		if (currentPage != null) {
			if (!currentPage.okToLeave())
				return false;
		};
		IPreferencePage oldPage = currentPage;
		currentPage = newPage;
		
		currentPage.setContainer(this);
		
		
		if (currentPage.getControl() == null) {
			currentPage.createControl(pageContainer);
			
			
			Assert.isNotNull(currentPage.getControl());
		}
		
		
		Point contentSize = currentPage.computeSize();
		
		
		
		
		Shell shell = getShell();
		Point shellSize = shell.getSize();
		if (oldPage != null) {
			Rectangle rect = pageContainer.getClientArea();
			Point containerSize = new Point(rect.width, rect.height);