Project: Eclipse_Platform_UI
Bug 80259 WorkingSetManager not correctly disposed
Reported: 2004-12-06 08:50:33 | Status: verified fixed

I20041201 The workbench plug-in resets instance variables in its reset method. Therefore the workingset manager isn't correctly disposed. Will provide a patch that fixes the problem.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java