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
setValue(defaultProperties, name, value);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public void setDefault(String name, String value) {
	setValue(defaultProperties, name, value);
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.
 */
public void setDefault(String name, boolean value) {
	setValue(defaultProperties, name, value);
}
/**
 * Sets the name of the file used when loading and storing this preference store.
 * <p>
 * Afterward, the methods <code>load()</code> and <code>save()</code> can be used
 * to load and store this preference store.
 * </p>
 *
 * @param filename the file name
 * @see #load()
 * @see #store()
 */
public void setFilename(String name) {
	filename = name;
}
/* (non-Javadoc)
 * Method declared on IPreferenceStore.