X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=128481c6a2b7c1f3fddcb48fa99c60c2edb351ab;hb=8eb8ed34a9bbd66087433ca6a3d41b4fe2553d6a;hp=5366d1f09ce99997fe1e523a91219d91ec2326c4;hpb=0ca5a60ca575f0d0e6aeea158485f16cd61df082;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 5366d1f..128481c 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(); }; }); @@ -2343,7 +2338,7 @@ public class Desktop extends jalview.jbgui.GDesktop { String link = li.next(); if (link.contains(SEQUENCE_ID) - && !link.equals(UrlConstants.DEFAULT_STRING)) + && !UrlConstants.isDefaultString(link)) { check = true; int barPos = link.indexOf("|");