X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=5dadeb3f5721b4ef87c000c958e8d83ffe29d7d4;hb=6fa0f79908a356c2efa73d5518544daea904ae89;hp=f8d2bf034db89a0c101b125e2a4d1b12d13c74f2;hpb=367c039ca47ca16fbf722c53acde68a3842784c3;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index f8d2bf0..5dadeb3 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -43,6 +43,8 @@ import javax.swing.*; import javax.swing.event.MenuEvent; import javax.swing.event.MenuListener; +import com.sun.xml.internal.ws.streaming.TidyXMLStreamReader; + /** * Jalview Desktop * @@ -302,7 +304,24 @@ public class Desktop extends jalview.jbgui.GDesktop implements } } }); - + this.addFocusListener(new FocusListener() + { + + @Override + public void focusLost(FocusEvent e) + { + // TODO Auto-generated method stub + + } + + @Override + public void focusGained(FocusEvent e) + { + Cache.log.debug("Relaying windows after focus gain"); + // make sure that we sort windows properly after we gain focus + instance.relayerWindows(); + } + }); this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this)); // Spawn a thread that shows the splashscreen SwingUtilities.invokeLater(new Runnable()