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
/** 
	 * List of registered listeners (element type: <code>IPropertyChangeListener</code>).
	 * These listeners are to be informed when the current value of a preference changes.
	 */
	private ListenerList listeners = new ListenerList();	
	
	/**
	 * The mapping from preference name to
	 * preference value (represented as strings).
	 */
	private Properties properties;