diff options
| author | Markus Keller | 2014-10-22 13:15:40 +0000 |
|---|---|---|
| committer | Markus Keller | 2014-10-22 13:16:40 +0000 |
| commit | 3d5377790b611a321b0b757bae1119d032fb99fe (patch) | |
| tree | 7d0e0435917dcfb59661b0d7042874ebfa8a497b | |
| parent | 865cc18a9157ee78f4e09fdb4e103b075bd10e92 (diff) | |
| download | eclipse.platform.ui-3d5377790b611a321b0b757bae1119d032fb99fe.tar.gz eclipse.platform.ui-3d5377790b611a321b0b757bae1119d032fb99fe.tar.xz eclipse.platform.ui-3d5377790b611a321b0b757bae1119d032fb99fe.zip | |
Bug 305231: DecoratorManager does not dispose decorators
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java index 0ec3e375bc2..9b381960268 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java @@ -225,7 +225,7 @@ public class WorkbenchPlugin extends AbstractUIPlugin { editorRegistry = null; if (decoratorManager != null) { - decoratorManager.dispose(); + decoratorManager.shutdown(); decoratorManager = null; } |