basti1302/startexplorer — Issue #15: Handling of default values in preferences and migration from older versions
Author: basti1302
Created: 2012-03-04 21:08:49+00:00
State: open
Labels: bug

This is not handled correctly in StartExplorer. All these PreferenceUtil#migrateFromOlderVersions stuff is not neccessary at all.

See javadoc of interface org.eclipse.jface.preference.IPreferenceStore for how to handle it correctly (Always store defaults at plugin start and in PreferenceModel#storeValues, write only the values that are different from the default.)