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
package org.eclipse.jface.preference;
/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
import java.io.IOException;
import java.util.Iterator;
import java.util.List;
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.BusyIndicator;
import org.eclipse.swt.custom.CLabel;
import org.eclipse.swt.events.*;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.*;
import org.eclipse.jface.dialogs.*;
import org.eclipse.jface.dialogs.Dialog; 
import org.eclipse.jface.resource.*;
import org.eclipse.jface.util.*;
/**
 * A preference dialog is a hierarchical presentation of preference
 * pages.  Each page is represented by a node in the tree shown
 * on the left hand side of the dialog; when a node is selected, the
 * corresponding page is shown on the right hand side.
 */
public class PreferenceDialog