X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FCutAndPasteHtmlTransfer.java;h=71a152069f97b3dd8149358606047d692addb8d5;hb=0efc6021e63ff62bb2e275501586c1900561b303;hp=65d8670a5314cd5601370b6194015ad7dd8aebcc;hpb=3fbc6c63da00d84e7ce7f24136d2bb8fcbc458dc;p=jalview.git diff --git a/src/jalview/gui/CutAndPasteHtmlTransfer.java b/src/jalview/gui/CutAndPasteHtmlTransfer.java index 65d8670..71a1520 100644 --- a/src/jalview/gui/CutAndPasteHtmlTransfer.java +++ b/src/jalview/gui/CutAndPasteHtmlTransfer.java @@ -152,8 +152,8 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer 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); @@ -179,8 +179,8 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer 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); } @@ -228,6 +228,7 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer @Override public void textarea_mousePressed(MouseEvent e) { + // isPopupTrigger is on mousePressed (Mac) or mouseReleased (Windows) if (e.isPopupTrigger()) { JPopupMenu popup = new JPopupMenu(