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
handleSave();
		close();
	}
	/**
	 * Selects the page determined by <code>lastSuccessfulNode</code> in
	 * the page hierarchy.
	 */
	void selectCurrentPageAgain() {
		if (lastSuccessfulNode == null)
			return;
		getTreeViewer().setSelection(new StructuredSelection(lastSuccessfulNode));
		currentPage.setVisible(true);
	}
	/**
	 * Selects the saved item in the tree of preference pages.
	 * If it cannot do this it saves the first one.
	 */
	protected void selectSavedItem() {
		IPreferenceNode node = findNodeMatching(getSelectedNodePreference());
		if (node == null) {
			IPreferenceNode[] nodes = preferenceManager.getRoot().getSubNodes();
			if (nodes.length > 0)
				node = nodes[0];
		}
		if (node != null) {
			getTreeViewer().setSelection(new StructuredSelection(node), true);
			            
			getTreeViewer().getControl().setFocus();
		}
	}