Project: Eclipse_Platform_UI
Bug 24329 [Navigator] Navigator uses Workbench preference store
Reported: 2002-10-02 15:20:58 | Status: resolved fixed

20021001 The ResourceNavigator uses the workbench preference store currently for backwards compatibility. It should be migrated over to using its own preference store and the preference page should update it.

Files changed in fix:
bundles/org.eclipse.ui.views/extensions/org/eclipse/ui/internal/ViewsPlugin.java bundles/org.eclipse.ui.views/src/org/eclipse/ui/views/navigator/ResourceNavigator.java bundles/org.eclipse.ui.views/src/org/eclipse/ui/views/navigator/ResourcePatternFilter.java