git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
cced85f
)
Make new frame selected
author
amwaterhouse
<Andrew Waterhouse>
Wed, 14 Sep 2005 15:42:45 +0000
(15:42 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Wed, 14 Sep 2005 15:42:45 +0000
(15:42 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
97c6a20
..
700b16f
100755
(executable)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-119,6
+119,14
@@
public class Desktop extends jalview.jbgui.GDesktop
addInternalFrame(frame, "", 750, 160, false);
discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed.
addInternalFrame(frame, "", 750, 160, false);
discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed.
+
+ this.addKeyListener(new KeyAdapter()
+ {
+ public void keyPressed(KeyEvent k)
+ {
+ System.out.println(k);
+ }
+ });
}
/**
}
/**
@@
-178,10
+186,6
@@
public class Desktop extends jalview.jbgui.GDesktop
frame.setLocation(xOffset * openFrameCount, yOffset * ((openFrameCount-1)%10)+yOffset);
}
frame.setLocation(xOffset * openFrameCount, yOffset * ((openFrameCount-1)%10)+yOffset);
}
- desktop.add(frame);
- frame.toFront();
-
-
final JMenuItem menuItem = new JMenuItem(title);
frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter()
{
final JMenuItem menuItem = new JMenuItem(title);
frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter()
{
@@
-211,6
+215,13
@@
public class Desktop extends jalview.jbgui.GDesktop
});
windowMenu.add(menuItem);
});
windowMenu.add(menuItem);
+
+ desktop.add(frame);
+ frame.toFront();
+ try{
+ frame.setSelected(true);
+ }catch(java.beans.PropertyVetoException ve)
+ {}
}
/**
}
/**