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/PreferenceStore.java
package org.eclipse.jface.preference;
/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
import java.io.*;
import java.util.*;
import org.eclipse.jface.util.*;
/**
 * A concrete preference store implementation based on an internal
 * <code>java.util.Properties</code> object, with support for 
 * persisting the non-default preference values to files or streams.
 * <p>
 * This class was not designed to be subclassed.
 * </p>
 * 
 * @see IPreferenceStore
 */
public class PreferenceStore implements IPreferenceStore {