- copyItem.setAccelerator(
- javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_C,
- jalview.util.ShortcutKeyMaskExWrapper
- .getMenuShortcutKeyMaskEx(),
- false));
- pasteMenu
- .setAccelerator(
- javax.swing.KeyStroke
- .getKeyStroke(java.awt.event.KeyEvent.VK_V,
- jalview.util.ShortcutKeyMaskExWrapper
- .getMenuShortcutKeyMaskEx(),
- false));
+ copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
+ java.awt.event.KeyEvent.VK_C,
+ Platform.SHORTCUT_KEY_MASK, false));
+ pasteMenu.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
+ java.awt.event.KeyEvent.VK_V,
+ Platform.SHORTCUT_KEY_MASK, false));