From 97acc4fa0742948992abd1f3ca982c6df4eff653 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 22 Nov 2006 14:58:13 +0000 Subject: [PATCH] frameListener must call close if AlignFrame --- src/jalview/bin/JalviewLite.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/JalviewLite.java b/src/jalview/bin/JalviewLite.java index 09e8701..1fbb82e 100755 --- a/src/jalview/bin/JalviewLite.java +++ b/src/jalview/bin/JalviewLite.java @@ -28,6 +28,7 @@ import java.applet.*; import java.awt.*; import java.awt.event.*; +import jalview.appletgui.FeatureSettings; /** @@ -177,6 +178,8 @@ public class JalviewLite extends Applet { public void windowClosing(WindowEvent e) { + if(frame instanceof AlignFrame) + ((AlignFrame)frame).closeMenuItem_actionPerformed(); if(currentAlignFrame == frame) { currentAlignFrame = null; @@ -360,7 +363,7 @@ public class JalviewLite extends Applet if(param !=null && param.equalsIgnoreCase("true")) { currentAlignFrame.viewport.showSequenceFeatures(true); - currentAlignFrame.featureSettings_actionPerformed(); + new FeatureSettings(currentAlignFrame.alignPanel); } param = getParameter("annotations"); -- 1.7.10.2