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
/**
	 * The mapping from preference name to
	 * default preference value (represented as strings);
	 * <code>null</code> if none.
	 */
	private Properties defaultProperties;
	
	/**
	 * Indicates whether a value as been changed by <code>setToDefault</code>
	 * or <code>setValue</code>; initially <code>false</code>.
	 */
	private boolean dirty = false;
	
	/**
	 * The file name used by the <code>load</code> method to load a property 
	 * file. This filename is used to save the properties file when <code>save</code>
	 * is called.
	 */
	private String filename;	
/**
 * Creates an empty preference store.
 * <p>
 * Use the methods <code>load(InputStream)</code> and
 * <code>save(InputStream)</code> to load and store this
 * preference store.
 * </p>
 * @see #load(java.io.InputStream)
 * @see #save(java.io.OutputStream)
 */
public PreferenceStore() {