| commit | 72370a08fab4a28e26f8f82c864e91d1c3ddecb6 | [log] [tgz] |
|---|---|---|
| author | Jeffrey Overbey <jeffreyoverbey@acm.org> | Wed Jun 09 18:28:53 2010 +0000 |
| committer | Jeffrey Overbey <jeffreyoverbey@acm.org> | Wed Jun 09 18:28:53 2010 +0000 |
| tree | 5a16c0f2bf622d382a132f42464674edb20e042d | |
| parent | 07131a9333045a68acdb2745d383e438fa8d00f7 [diff] |
Propagated view dispose to selected resource action to remove workbench selection listener
diff --git a/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/SelectedResourceFilterAction.java b/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/SelectedResourceFilterAction.java index 9c886cb..07489ee 100644 --- a/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/SelectedResourceFilterAction.java +++ b/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/SelectedResourceFilterAction.java
@@ -53,7 +53,12 @@ vpgView.getSite().getWorkbenchWindow().getSelectionService().addSelectionListener(this); } - + + void dispose() + { + vpgView.getSite().getWorkbenchWindow().getSelectionService().removeSelectionListener(this); + } + @Override public void run() { vpgView.setErrorWarningFilterButtonText();
diff --git a/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/VPGProblemView.java b/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/VPGProblemView.java index a28b7f5..9897df7 100644 --- a/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/VPGProblemView.java +++ b/org.eclipse.photran.ui.vpg/src/org/eclipse/photran/internal/ui/views/vpgproblems/VPGProblemView.java
@@ -423,8 +423,8 @@ @Override public void dispose() { - if (clipboard != null) - clipboard.dispose(); + if (clipboard != null) clipboard.dispose(); + if (selectionFilterAction != null) selectionFilterAction.dispose(); super.dispose(); } }