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
private IPreferenceStore preferenceStore;
	/**
	 * The current preference page, or <code>null</code> if
	 * there is none.
	 */
	private IPreferencePage currentPage;
	/**
	 * The preference manager.
	 */
	private PreferenceManager preferenceManager;
	/**
	 * The main control for this dialog.
	 */
	private Composite body;
	/**
	 * The Composite in which a page is shown.
	 */
	private Composite pageContainer;
	/**
	 * The minimum page size; 400 by 400 by default.
	 *
	 * @see #setMinimumPageSize
	 */
	private Point minimumPageSize = new Point(400, 400);
	/**
	 * The OK button.
	 */
	private Button okButton;
	/**
	 * The Cancel button.