[platform-ui-dev] Plugin reorg and preferences

["Knut Radloff" <knut_radloff@xxxxxxx>]

Did anyone consider the effects of the plugin reorg on preferences?
Most preferences are stored in WorkbenchPlugin.getDefault() which now is org.eclipse.ui.workbench instead 
of org.eclipse.ui. This means that preferences that were previously stored 
in org.eclipse.ui are lost.
In addition, some parts of the ui use Platform.getPlugin(PlatformUI.PLUGIN_ID) to read preferences that are 
stored using WorkbenchPlugin.getDefault(). This is obviously wrong and 
leads to preferences being ignored.  Examples are ResourceNavigator and 
BasicNewProjectResourceWizard.

I think we have some cleaning up to do. Namely:
-plugins that store preferences in org.eclipse.ui but do not prereq 
org.eclipse.ui (e.g., TextEditor in org.eclipse.ui.editors).
-org.eclipse.ui referencing preferences in org.eclipse.ui that are managed 
by e.g., preference pages in org.eclipse.ui.workbench

Do we have to look at every place that accesses preferences or is there 
some simple solution to this. E.g., do we even have to honor plugin 
dependencies when dealing with preferences?

Knut