Request focus for new frames
authoramwaterhouse <Andrew Waterhouse>
Mon, 3 Oct 2005 11:08:22 +0000 (11:08 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 3 Oct 2005 11:08:22 +0000 (11:08 +0000)
src/jalview/gui/Desktop.java

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