From f1f5e1b219f327419ab88c2ba10a24bdf498cd51 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 21 Nov 2006 14:06:11 +0000
Subject: [PATCH] F1 accelerator

---
 src/jalview/jbgui/GDesktop.java |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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