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
}
	/* (non-Javadoc)
	 * @see org.eclipse.jface.window.Window#configureShell(org.eclipse.swt.widgets.Shell)
	 */
	protected void configureShell(Shell newShell) {
		super.configureShell(newShell);
		newShell.setText(JFaceResources.getString("PreferenceDialog.title")); 
		newShell.addShellListener(new ShellAdapter() {
			public void shellActivated(ShellEvent e) {
				if (lastShellSize == null)
					lastShellSize = getShell().getSize();
			}
		});
	}
	/* (non-Javadoc)
	 * @see org.eclipse.jface.window.Window#constrainShellSize()
	 */
	protected void constrainShellSize() {
		super.constrainShellSize();
		
		if (lastShellSize == null)
			lastShellSize = getShell().getSize();
	}
	/* (non-Javadoc)
	 * @see org.eclipse.jface.dialogs.Dialog#createButtonsForButtonBar(org.eclipse.swt.widgets.Composite)
	 */
	protected void createButtonsForButtonBar(Composite parent) {
		
		okButton = createButton(parent, IDialogConstants.OK_ID, IDialogConstants.OK_LABEL, true);
		getShell().setDefaultButton(okButton);