From e1961abdd45299594a8c01a049da9242bf98094e Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Fri, 14 Jun 2019 17:33:47 +0100 Subject: [PATCH] JAL-3295 pre-merged code with JAL-3295 branch which will go onto develop --- src/jalview/jbgui/GCutAndPasteHtmlTransfer.java | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/src/jalview/jbgui/GCutAndPasteHtmlTransfer.java b/src/jalview/jbgui/GCutAndPasteHtmlTransfer.java index 3f0df21..1c9e907 100644 --- a/src/jalview/jbgui/GCutAndPasteHtmlTransfer.java +++ b/src/jalview/jbgui/GCutAndPasteHtmlTransfer.java @@ -22,7 +22,6 @@ package jalview.jbgui; import jalview.gui.JvSwingUtils; import jalview.util.MessageManager; -import jalview.util.ShortcutKeyMaskExWrapper; import java.awt.BorderLayout; import java.awt.Font; @@ -136,11 +135,15 @@ public class GCutAndPasteHtmlTransfer extends JInternalFrame }); close.setAccelerator(javax.swing.KeyStroke.getKeyStroke( java.awt.event.KeyEvent.VK_W, - ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx(), false)); + jalview.util.ShortcutKeyMaskExWrapper + .getMenuShortcutKeyMaskEx(), + false)); selectAll.setText(MessageManager.getString("action.select_all")); selectAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke( java.awt.event.KeyEvent.VK_A, - ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx(), false)); + jalview.util.ShortcutKeyMaskExWrapper + .getMenuShortcutKeyMaskEx(), + false)); selectAll.addActionListener(new ActionListener() { @Override @@ -153,7 +156,9 @@ public class GCutAndPasteHtmlTransfer extends JInternalFrame save.setText(MessageManager.getString("action.save")); save.setAccelerator(javax.swing.KeyStroke.getKeyStroke( java.awt.event.KeyEvent.VK_S, - ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx(), false)); + jalview.util.ShortcutKeyMaskExWrapper + .getMenuShortcutKeyMaskEx(), + false)); save.addActionListener(new ActionListener() { @Override @@ -164,7 +169,9 @@ public class GCutAndPasteHtmlTransfer extends JInternalFrame }); copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke( java.awt.event.KeyEvent.VK_C, - ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx(), false)); + jalview.util.ShortcutKeyMaskExWrapper + .getMenuShortcutKeyMaskEx(), + false)); editMenubar.add(jMenu1); editMenubar.add(editMenu); -- 1.7.10.2