From ed5dfd5357827df5955560cdeaf8c8578d65415e Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Sat, 27 Oct 2007 13:27:43 +0000
Subject: [PATCH] windowclose handler now calls EmbmenuFrame garbage
 collector.

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

diff --git a/src/jalview/bin/JalviewLite.java b/src/jalview/bin/JalviewLite.java
index a1f9e8e..4d45f8c 100755
--- a/src/jalview/bin/JalviewLite.java
+++ b/src/jalview/bin/JalviewLite.java
@@ -343,6 +343,10 @@ public class JalviewLite
         }
         lastFrameX -= 40;
         lastFrameY -= 40;
+        if (frame instanceof EmbmenuFrame)
+        {
+          ((EmbmenuFrame) frame).destroyMenus();
+        }
         frame.setMenuBar(null);
         frame.dispose();
       }
-- 
1.7.10.2