close frame true
authoramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:14:20 +0000 (18:14 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:14:20 +0000 (18:14 +0000)
src/jalview/gui/Desktop.java

index 9b1bef3..953b55c 100755 (executable)
@@ -715,7 +715,7 @@ public class Desktop extends jalview.jbgui.GDesktop
       }
 
       af.alignPanels.clear();
-      af.closeMenuItem_actionPerformed(null);
+      af.closeMenuItem_actionPerformed(true);
 
     }
 
@@ -747,7 +747,7 @@ public class Desktop extends jalview.jbgui.GDesktop
           if (gatherThis)
           {
             af.alignPanels.clear();
-            af.closeMenuItem_actionPerformed(null);
+            af.closeMenuItem_actionPerformed(true);
           }
         }
       }