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:
b0a90dc
)
F1 accelerator
author
amwaterhouse
<Andrew Waterhouse>
Tue, 21 Nov 2006 14:06:11 +0000
(14:06 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 21 Nov 2006 14:06:11 +0000
(14:06 +0000)
src/jalview/jbgui/GDesktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GDesktop.java
b/src/jalview/jbgui/GDesktop.java
index
1b54f83
..
daea610
100755
(executable)
--- a/
src/jalview/jbgui/GDesktop.java
+++ b/
src/jalview/jbgui/GDesktop.java
@@
-139,7
+139,9
@@
public class GDesktop extends JFrame
}
\r
});
\r
documentationMenuItem.setText("Documentation");
\r
- documentationMenuItem.addActionListener(new java.awt.event.ActionListener()
\r
+ documentationMenuItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
\r
+ java.awt.event.KeyEvent.VK_F1, 0, false));
\r
+ documentationMenuItem.addActionListener(new java.awt.event.ActionListener()
\r
{
\r
public void actionPerformed(ActionEvent e)
\r
{
\r