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
/**
 * Helper method: sets string for a given name.
 */
private void setValue(Properties p, String name, int value) {
	Assert.isTrue(p != null);
	p.put(name, Integer.toString(value));
}
/**
 * Helper method: sets string for a given name.
 */
private void setValue(Properties p, String name, long value) {
	Assert.isTrue(p != null);
	p.put(name, Long.toString(value));
}
/**
 * Helper method: sets string for a given name.
 */
private void setValue(Properties p, String name, String value) {
	Assert.isTrue(p != null && value != null);
	p.put(name, value);
}
/**
 * Helper method: sets string for a given name.
 */
private void setValue(Properties p, String name, boolean value) {
	Assert.isTrue(p != null);
	p.put(name, value == true ? IPreferenceStore.TRUE : IPreferenceStore.FALSE);
}
}