X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FCutAndPasteHtmlTransfer.java;h=fc196959edea0b719856eeec5d353b1d941a3d4b;hb=3e591f9bc92caedd17b9e6b368f6ef2185dc702c;hp=596f0b6d89446590de8a0272ecd3ba279267bf63;hpb=838e4f91d4a53dd315640dbc9ff6ef7a815ee576;p=jalview.git diff --git a/src/jalview/gui/CutAndPasteHtmlTransfer.java b/src/jalview/gui/CutAndPasteHtmlTransfer.java index 596f0b6..fc19695 100644 --- a/src/jalview/gui/CutAndPasteHtmlTransfer.java +++ b/src/jalview/gui/CutAndPasteHtmlTransfer.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b1) - * Copyright (C) 2015 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * @@ -100,6 +100,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer }); SwingUtilities.invokeLater(new Runnable() { + @Override public void run() { textarea.requestFocus(); @@ -140,18 +141,23 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer */ public void setText(String text) { + textarea.setDocument(textarea.getEditorKit().createDefaultDocument()); textarea.setText(text); + textarea.setCaretPosition(0); } + @Override public void save_actionPerformed(ActionEvent e) { + // TODO: JAL-3048 JalviewFileChooser - Save option + JalviewFileChooser chooser = new JalviewFileChooser( jalview.bin.Cache.getProperty("LAST_DIRECTORY")); chooser.setAcceptAllFileFilterUsed(false); chooser.setFileView(new JalviewFileView()); - chooser.setDialogTitle(MessageManager - .getString("label.save_text_to_file")); + chooser.setDialogTitle( + MessageManager.getString("label.save_text_to_file")); chooser.setToolTipText(MessageManager.getString("action.save")); int value = chooser.showSaveDialog(this); @@ -173,11 +179,12 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer } } + @Override public void toggleHtml_actionPerformed(ActionEvent e) { String txt = textarea.getText(); - textarea.setContentType(displaySource.isSelected() ? "text/text" - : "text/html"); + textarea.setContentType( + displaySource.isSelected() ? "text/text" : "text/html"); textarea.setText(txt); } @@ -187,6 +194,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer * @param e * DOCUMENT ME! */ + @Override public void copyItem_actionPerformed(ActionEvent e) { Clipboard c = Toolkit.getDefaultToolkit().getSystemClipboard(); @@ -210,6 +218,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer * @param e * DOCUMENT ME! */ + @Override public void cancel_actionPerformed(ActionEvent e) { try @@ -220,9 +229,11 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer } } + @Override public void textarea_mousePressed(MouseEvent e) { - if (SwingUtilities.isRightMouseButton(e)) + // isPopupTrigger is on mousePressed (Mac) or mouseReleased (Windows) + if (e.isPopupTrigger()) { JPopupMenu popup = new JPopupMenu( MessageManager.getString("action.edit")); @@ -230,6 +241,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer MessageManager.getString("action.copy")); item.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { copyItem_actionPerformed(e);