Bug 30170 [Preferences] editors preferences not stored on OK?
20030121 my eclipse hard-crashed and it seems that the 'number of open editors' preference was lost preference pages should store their values on OK. i guess the 'Editors' page forgot to do it.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceDialog.java
}
		
		
		handleSave();
		close();
	}
	/**
	 * Selects the page determined by <code>currentTreeItem</code> in
	 * the page hierarchy.
	 */
	private void selectCurrentPageAgain() {
		tree.setSelection(new TreeItem[] { currentTreeItem });
		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() {
		if (tree != null) {
			int count = tree.getItemCount();
			if (count > 0) {
				TreeItem selectedItem = getLastSelectedNode(tree.getItems());
				Object data = selectedItem.getData();
				if (data instanceof IPreferenceNode) {
					tree.setSelection(new TreeItem[] { selectedItem });
					currentTreeItem = selectedItem;
					showPage((IPreferenceNode) data);
					
					tree.setFocus();