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
int hdiff = contentSize.x - containerSize.x;
			int vdiff = contentSize.y - containerSize.y;
			if (hdiff > 0 || vdiff > 0) {
				if (shellSize.equals(lastShellSize)) {
					hdiff = Math.max(0, hdiff);
					vdiff = Math.max(0, vdiff);
					setShellSize(shellSize.x + hdiff, shellSize.y + vdiff);
					lastShellSize = shell.getSize();
				} else {
					currentPage.setSize(containerSize);
				}
			} else if (hdiff < 0 || vdiff < 0) {
				currentPage.setSize(containerSize);
			}
		}
		 
		
		
		Control[] children = pageContainer.getChildren();
		Control currentControl = currentPage.getControl();
		for (int i = 0; i < children.length; i++) {
			if (children[i] != currentControl)
				children[i].setVisible(false);
		}
		
		currentPage.setVisible(true);
		if (oldPage != null)
			oldPage.setVisible(false);
		
		update();