X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FCutAndPasteHtmlTransfer.java;h=6e0032f513984e6a78a8ed31cb4c83b1d6657d63;hb=7f3e371b7fbae94e9b731956cbdebc866742c692;hp=7d5d8d7213ba6df7311eaa2c7f1a499510c9a43d;hpb=4d7f98a6dd54d9863ba449ec79dcd95d25ed863d;p=jalview.git diff --git a/src/jalview/gui/CutAndPasteHtmlTransfer.java b/src/jalview/gui/CutAndPasteHtmlTransfer.java index 7d5d8d7..6e0032f 100644 --- a/src/jalview/gui/CutAndPasteHtmlTransfer.java +++ b/src/jalview/gui/CutAndPasteHtmlTransfer.java @@ -20,6 +20,7 @@ */ package jalview.gui; +import jalview.bin.Cache; import jalview.io.JalviewFileChooser; import jalview.io.JalviewFileView; import jalview.jbgui.GCutAndPasteHtmlTransfer; @@ -100,6 +101,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer }); SwingUtilities.invokeLater(new Runnable() { + @Override public void run() { textarea.requestFocus(); @@ -140,18 +142,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")); + 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 +180,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 +195,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer * @param e * DOCUMENT ME! */ + @Override public void copyItem_actionPerformed(ActionEvent e) { Clipboard c = Toolkit.getDefaultToolkit().getSystemClipboard(); @@ -210,6 +219,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer * @param e * DOCUMENT ME! */ + @Override public void cancel_actionPerformed(ActionEvent e) { try @@ -220,9 +230,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 +242,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer MessageManager.getString("action.copy")); item.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { copyItem_actionPerformed(e);