X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=0ee6db7da10dcb7379c90c56c98c426c8aabf22b;hb=062ebc02980364930ceb26dd6c06448af971fe20;hp=5366d1f09ce99997fe1e523a91219d91ec2326c4;hpb=0ca5a60ca575f0d0e6aeea158485f16cd61df082;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 5366d1f..0ee6db7 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -877,6 +877,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } + @Override public void internalFrameClosed(InternalFrameEvent evt) { @@ -899,12 +900,7 @@ public class Desktop extends jalview.jbgui.GDesktop menuItem.removeActionListener(menuItem.getActionListeners()[0]); } windowMenu.remove(menuItem); - JInternalFrame itf = desktop.getSelectedFrame(); - if (itf != null) - { - // itf.requestFocus(); - // - } + System.gc(); }; });