From 18967a4d27edeae3477c9244e1706a284e99d6d7 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 27 Oct 2006 16:12:09 +0000
Subject: [PATCH] Focus listener on Tabbed pane, gives keyboard focus back to
 alignFrame

---
 src/jalview/jbgui/GAlignFrame.java |   12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/jalview/jbgui/GAlignFrame.java b/src/jalview/jbgui/GAlignFrame.java
index ea6ee25..4dcd0db 100755
--- a/src/jalview/jbgui/GAlignFrame.java
+++ b/src/jalview/jbgui/GAlignFrame.java
@@ -1127,6 +1127,13 @@ public class GAlignFrame
         tabbedPane_mousePressed(e);
       }
     });
+    tabbedPane.addFocusListener(new FocusAdapter()
+    {
+      public void focusGained(FocusEvent e)
+      {
+        tabbedPane_focusGained(e);
+      }
+    });
 
     alignFrameMenuBar.add(fileMenu);
     alignFrameMenuBar.add(editMenu);
@@ -1649,4 +1656,9 @@ public class GAlignFrame
   {
 
   }
+
+  public void tabbedPane_focusGained(FocusEvent e)
+  {
+    requestFocus();
+  }
 }
-- 
1.7.10.2