From 728ae344b37e93155d8f54173535f8367bf25f07 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Wed, 25 Oct 2017 15:36:42 +0100 Subject: [PATCH] JAL-2779 remove empty block and if statement --- src/jalview/gui/Desktop.java | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 5366d1f..2d1ba12 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -899,12 +899,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(); }; }); -- 1.7.10.2