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
tree.setFocus();
						}
					}
				});
			}
		});
		eventAdapter.addSelectionListener(new SelectionAdapter() {
			public void widgetDefaultSelected(final SelectionEvent event) {
				TreeItem[] selection = tree.getSelection();
				if (selection.length > 0)
					selection[0].setExpanded(!selection[0].getExpanded());
			}
		});
		IPreferenceNode node = preferenceManager.getRoot();
		IPreferenceNode[] subnodes = node.getSubNodes();
		tree.setFont(parent.getFont());
		for (int i = 0; i < subnodes.length; i++) {
			createTreeItemFor(tree, subnodes[i]);
		}
	}
	/**
	 * Creates a TreeItem structure that reflects to the page hierarchy.
	 */
	private void createTreeItemFor(Widget parent, IPreferenceNode node) {
		TreeItem item = null;
		if (parent instanceof Tree)
			item = new TreeItem((Tree) parent, SWT.DEFAULT);
		else
			item = new TreeItem((TreeItem) parent, SWT.DEFAULT);