From 02617c1fbf12985e02c38532d00ffffd3bfae19a Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 6 Dec 2005 12:19:44 +0000 Subject: [PATCH] Add internalFrameActivated listener --- src/jalview/gui/Desktop.java | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 3acefe7..8a96033 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -187,6 +187,15 @@ public class Desktop extends jalview.jbgui.GDesktop final JMenuItem menuItem = new JMenuItem(title); frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() { + public void internalFrameActivated(javax.swing.event. + InternalFrameEvent evt) + { + JInternalFrame itf = desktop.getSelectedFrame(); + if (itf != null) + itf.requestFocus(); + + } + public void internalFrameClosed( javax.swing.event.InternalFrameEvent evt) { -- 1.7.10.2