git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-852 clickable links in Alignment Properties report; alignmentProperties now Map...
[jalview.git]
/
src
/
jalview
/
gui
/
AlignFrame.java
diff --git
a/src/jalview/gui/AlignFrame.java
b/src/jalview/gui/AlignFrame.java
index
298688b
..
bb81a4e
100644
(file)
--- a/
src/jalview/gui/AlignFrame.java
+++ b/
src/jalview/gui/AlignFrame.java
@@
-134,12
+134,10
@@
import java.util.List;
import java.util.Vector;
import javax.swing.JCheckBoxMenuItem;
import java.util.Vector;
import javax.swing.JCheckBoxMenuItem;
-import javax.swing.JEditorPane;
import javax.swing.JInternalFrame;
import javax.swing.JLayeredPane;
import javax.swing.JMenu;
import javax.swing.JMenuItem;
import javax.swing.JInternalFrame;
import javax.swing.JLayeredPane;
import javax.swing.JMenu;
import javax.swing.JMenuItem;
-import javax.swing.JScrollPane;
import javax.swing.SwingUtilities;
/**
import javax.swing.SwingUtilities;
/**
@@
-3222,17
+3220,13
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
@Override
public void alignmentProperties()
{
@Override
public void alignmentProperties()
{
- JEditorPane editPane = new JEditorPane("text/html", "");
- editPane.setEditable(false);
- StringBuffer contents = new AlignmentProperties(viewport.getAlignment())
+ CutAndPasteHtmlTransfer cap = new CutAndPasteHtmlTransfer();
+ StringBuilder contents = new AlignmentProperties(
+ viewport.getAlignment())
.formatAsHtml();
.formatAsHtml();
- editPane.setText(
- MessageManager.formatMessage("label.html_content", new Object[]
- { contents.toString() }));
- JInternalFrame frame = new JInternalFrame();
- frame.getContentPane().add(new JScrollPane(editPane));
+ cap.setText("<html>" + contents.toString() + "</html>");
- Desktop.addInternalFrame(frame, MessageManager
+ Desktop.addInternalFrame(cap, MessageManager
.formatMessage("label.alignment_properties", new Object[]
{ getTitle() }), 500, 400);
}
.formatMessage("label.alignment_properties", new Object[]
{ getTitle() }), 500, 400);
}