Project: Eclipse_Platform_UI
Bug 13631 ResourceNavigator does not remove property change listener
Reported: 2002-04-12 10:13:36 | Status: resolved fixed

The new working set support registers a property change listener on the page which is not removed.

Files changed in fix:
bundles/org.eclipse.ui/Eclipse UI Standard Components/org/eclipse/ui/views/navigator/ResourceNavigator.java bundles/org.eclipse.ui/Eclipse UI/org/eclipse/ui/IWorkingSet.java bundles/org.eclipse.ui/Eclipse UI/org/eclipse/ui/IWorkingSetManager.java bundles/org.eclipse.ui/Eclipse UI/org/eclipse/ui/internal/WorkingSet.java bundles/org.eclipse.ui/Eclipse UI/org/eclipse/ui/internal/WorkingSetManager.java