}\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