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.JScrollPane;
import javax.swing.SwingUtilities;
/**
@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();
- 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);
}