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
String value = p != null ? p.getProperty(name) : null;
	if (value == null)
		return INT_DEFAULT_DEFAULT;
	int ival = 0;
	try {
		ival = Integer.parseInt(value);
	} catch (NumberFormatException e) {
	}
	return ival;
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public long getLong(String name) {
	return getLong(properties, name);
}
/**
 * Helper function: gets long for a given name.
 */
private long getLong(Properties p, String name) {
	String value = p != null ? p.getProperty(name) : null;
	if (value == null)
		return LONG_DEFAULT_DEFAULT;
	long ival = LONG_DEFAULT_DEFAULT;
	try {
		ival = Long.parseLong(value);
	} catch (NumberFormatException e) {
	}
	return ival;
}