From cc8bc2c02bcb23dfb2fe8f4a45ea15bf756ceaa2 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 3 Oct 2005 11:08:22 +0000
Subject: [PATCH] Request focus for new frames

---
 src/jalview/gui/Desktop.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 037a7a9..4186090 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -216,6 +216,7 @@ public class Desktop extends jalview.jbgui.GDesktop
         frame.toFront();
         try{
           frame.setSelected(true);
+          frame.requestFocus();
         }catch(java.beans.PropertyVetoException ve)
         {}
     }
-- 
1.7.10.2