X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDesktop.java;h=daea610268b4e1d039001652098f6e5097612f50;hb=2e699d341f8e64868e3c279f9c02af617c4e9b44;hp=1b54f8301cc8527266ab4031a5bc448ff4c7142e;hpb=35cf59b3c7c1080f98763b0c82b2fb73978991fa;p=jalview.git

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)
                 {