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
if (value.equals(IPreferenceStore.TRUE))
		return true;
	return false;
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public boolean getDefaultBoolean(String name) {
	return getBoolean(defaultProperties, name);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public double getDefaultDouble(String name) {
	return getDouble(defaultProperties, name);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public float getDefaultFloat(String name) {
	return getFloat(defaultProperties, name);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public int getDefaultInt(String name) {
	return getInt(defaultProperties, name);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.