Bug 38462 [Dialogs] Tree in Preference & Properties dialog should be resizable
I20030604 On MacOS X the native tree isn't as compact as on other platforms. As a result some of the tree items in the Preference and Properties dialogs are barely visible. Since horizontalls scrolling is cumbersome, it would be nice to have a sash between the tree and the dialog's content. Remembering the dialog's size and the sash position would be helpful, too.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceDialog.java
public void layout(Composite composite, boolean force) {
			Rectangle rect = composite.getClientArea();
			Control[] children = composite.getChildren();
			for (int i = 0; i < children.length; i++) {
				children[i].setSize(rect.width, rect.height);
			}
		}
	}
	
	private static String lastPreferenceId = null;
	public static final String PREF_DLG_IMG_TITLE_ERROR = DLG_IMG_MESSAGE_ERROR; 
	/**
	 * Title area fields
	 */
	public static final String PREF_DLG_TITLE_IMG = "preference_dialog_title_image"; 
	static {
		ImageRegistry reg = JFaceResources.getImageRegistry();
		reg.put(PREF_DLG_TITLE_IMG, ImageDescriptor.createFromFile(PreferenceDialog.class, "images/pref_dialog_title.gif")); 
	}
	/**
	 * The Cancel button.
	 */
	private Button cancelButton;
	/**
	 * The current preference page, or <code>null</code> if
	 * there is none.
	 */
	private IPreferencePage currentPage;
	private String errorMessage;
	private Color errorMsgAreaBackground;