From d0b7395c10aec7c5da5a5662fc69783ec78fae8d Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 2 Apr 2007 11:21:13 +0000
Subject: [PATCH] Destroy Alignment when closing frame

---
 src/jalview/gui/AlignFrame.java |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 37b95b2..c0271ac 100755
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -957,9 +957,12 @@ public class AlignFrame
           for (int i = 0; i < alignPanels.size(); i++)
           {
             AlignmentPanel ap = (AlignmentPanel) alignPanels.elementAt(i);
+            jalview.structure.StructureSelectionManager.getStructureSelectionManager()
+                .removeStructureViewerListener(ap.seqPanel, null);
             PaintRefresher.RemoveComponent(ap.seqPanel.seqCanvas);
             PaintRefresher.RemoveComponent(ap.idPanel.idCanvas);
             PaintRefresher.RemoveComponent(ap);
+            ap.av.alignment.destroyAlignment();
           }
         }
         else
@@ -970,6 +973,7 @@ public class AlignFrame
           PaintRefresher.RemoveComponent(alignPanel.seqPanel.seqCanvas);
           PaintRefresher.RemoveComponent(alignPanel.idPanel.idCanvas);
           PaintRefresher.RemoveComponent(alignPanel);
+          alignPanel.av.alignment.destroyAlignment();
           alignPanel = null;
           viewport = null;
 
-- 
1.7.10.2