Paste uses alt rather than shift
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 12:22:08 +0000 (12:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 12:22:08 +0000 (12:22 +0000)
src/jalview/jbgui/GAlignFrame.java

index 17893bc..479eaaa 100755 (executable)
@@ -821,7 +821,7 @@ public class GAlignFrame
     pasteNew.setText("To New Alignment");\r
     pasteNew.setAccelerator(javax.swing.KeyStroke.getKeyStroke(\r
         java.awt.event.KeyEvent.VK_V,\r
-        Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()|java.awt.event.KeyEvent.SHIFT_MASK, false));\r
+        Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()|java.awt.event.KeyEvent.ALT_MASK, false));\r
     pasteNew.addActionListener(new java.awt.event.ActionListener()\r
     {\r
       public void actionPerformed(ActionEvent e)\r