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
if (newPage == currentPage)
			return true;
		if (currentPage != null) {
			if (!currentPage.okToLeave())
				return false;
		}
		IPreferencePage oldPage = currentPage;
		currentPage = newPage;
		
		currentPage.setContainer(this);
		
		
		if (currentPage.getControl() == null) {
			final boolean[] failed = { false };
			Platform.run(new ISafeRunnable() {
				public void handleException(Throwable e) {
					failed[0] = true;
				}
				public void run() {
					currentPage.createControl(pageContainer);
				}
			});
			if (failed[0])
				return false;
			
			
			Assert.isNotNull(currentPage.getControl());
		}