From 84c69c8b17a65ea0fc0bc4a475773e23612f1c18 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 9 Nov 2006 18:17:49 +0000 Subject: [PATCH] Shortcuts --- src/jalview/jbgui/GCutAndPasteTransfer.java | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/jalview/jbgui/GCutAndPasteTransfer.java b/src/jalview/jbgui/GCutAndPasteTransfer.java index 41857c2..0d50f2b 100755 --- a/src/jalview/jbgui/GCutAndPasteTransfer.java +++ b/src/jalview/jbgui/GCutAndPasteTransfer.java @@ -91,6 +91,8 @@ public class GCutAndPasteTransfer extends JInternalFrame textarea.setBorder(null); selectAll.setText("Select All"); + selectAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event. + KeyEvent.VK_A, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false)); selectAll.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -100,6 +102,8 @@ public class GCutAndPasteTransfer extends JInternalFrame }); jMenu1.setText("File"); save.setText("Save"); + save.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event. + KeyEvent.VK_S, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false)); save.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -107,6 +111,10 @@ public class GCutAndPasteTransfer extends JInternalFrame save_actionPerformed(e); } }); + copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event. + KeyEvent.VK_C, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false)); + pasteMenu.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event. + KeyEvent.VK_V, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false)); editMenubar.add(jMenu1); editMenubar.add(editMenu); textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12)); -- 1.7.10.2