Shortcuts
authoramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:17:49 +0000 (18:17 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:17:49 +0000 (18:17 +0000)
src/jalview/jbgui/GCutAndPasteTransfer.java

index 41857c2..0d50f2b 100755 (executable)
@@ -91,6 +91,8 @@ public class GCutAndPasteTransfer extends JInternalFrame
         textarea.setBorder(null);\r
 \r
     selectAll.setText("Select All");\r
+    selectAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.\r
+        KeyEvent.VK_A, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));\r
     selectAll.addActionListener(new ActionListener()\r
     {\r
       public void actionPerformed(ActionEvent e)\r
@@ -100,6 +102,8 @@ public class GCutAndPasteTransfer extends JInternalFrame
     });\r
     jMenu1.setText("File");\r
     save.setText("Save");\r
+    save.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.\r
+        KeyEvent.VK_S, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));\r
     save.addActionListener(new ActionListener()\r
     {\r
       public void actionPerformed(ActionEvent e)\r
@@ -107,6 +111,10 @@ public class GCutAndPasteTransfer extends JInternalFrame
         save_actionPerformed(e);\r
       }\r
     });\r
+    copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.\r
+        KeyEvent.VK_C, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));\r
+    pasteMenu.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.\r
+        KeyEvent.VK_V, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));\r
     editMenubar.add(jMenu1);\r
     editMenubar.add(editMenu);\r
         textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12));\r