From cc8bc2c02bcb23dfb2fe8f4a45ea15bf756ceaa2 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 3 Oct 2005 11:08:22 +0000 Subject: [PATCH 1/1] 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