Project: Eclipse_Platform_UI
Bug 30170 [Preferences] editors preferences not stored on OK?
Reported: 2003-01-24 07:48:20 | Status: closed fixed

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.

Files changed in fix:
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/IPersistentPreferenceStore.java bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceDialog.java bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/plugin/AbstractUIPlugin.java