From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 21 Nov 2006 14:06:11 +0000 (+0000)
Subject: F1 accelerator
X-Git-Tag: Release_2_2~78
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f1f5e1b219f327419ab88c2ba10a24bdf498cd51;p=jalview.git

F1 accelerator
---

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 1b54f83..daea610 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -139,7 +139,9 @@ public class GDesktop extends JFrame
                 }
             });
         documentationMenuItem.setText("Documentation");
-        documentationMenuItem.addActionListener(new java.awt.event.ActionListener()
+    documentationMenuItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
+        java.awt.event.KeyEvent.VK_F1, 0, false));
+    documentationMenuItem.addActionListener(new java.awt.event.ActionListener()
             {
                 public void actionPerformed(ActionEvent e)
                 {