label.removed_empty_columns = Removed {0} empty columns.
label.paste_newick_tree_file = Paste your Newick tree file here.
label.order_by_params = Order by {0}
-label.html_content = <html>{0}</html>
label.paste_pdb_file= Paste your PDB file here.
label.paste_pdb_file_for_sequence = Paste PDB file for sequence {0}
label.could_not_parse_newick_file = Could not parse Newick file\!\n {0}
label.removed_empty_columns = {0} columnas vacías eliminadas.
label.paste_newick_tree_file = Pegar su fichero árbol Newick aquí.
label.order_by_params = Ordenar por {0}
-label.html_content = <html>{0}</html>
label.paste_pdb_file= Pegar tu fichero PDB aquí.
label.paste_pdb_file_for_sequence = Pegar fichero PDB para la secuencia {0}
label.could_not_parse_newick_file = No se pudo analizar el fichero Newick\!\n {0}
? sequences[0].getDisplayId(true)
: "Selection"),
600, 500);
- cap.setText(
- MessageManager.formatMessage("label.html_content", new Object[]
- { contents.toString() }));
+ cap.setText("<html>" + contents.toString() + "</html>");
}
void editName()
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);
+ CutAndPasteHtmlTransfer cap = new CutAndPasteHtmlTransfer();
StringBuffer 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);
}
* @param pw
* @param html
*/
- public void writeProperties(PrintWriter pw, boolean html)
+ protected void writeProperties(PrintWriter pw, boolean html)
{
final String nl = html ? "<br>" : System.getProperty("line.separator");
float avg = 0;
label.setFont(new java.awt.Font("Verdana", Font.ITALIC, 10));
label.setOpaque(false);
label.setPreferredSize(new Dimension(260, 34));
- label.setText(
- MessageManager.formatMessage("label.html_content", new String[]
- { MessageManager.getString(
- "label.save_colour_scheme_with_unique_name_added_to_colour_menu") }));
+ label.setText("<html>" + MessageManager.getString(
+ "label.save_colour_scheme_with_unique_name_added_to_colour_menu")
+ + "</html>");
caseSensitive.setText(MessageManager.getString("label.case_sensitive"));
caseSensitive.addActionListener(new ActionListener()
{
{ choosers[0] });
}
- selectedButtons = new ArrayList<JButton>();
+ selectedButtons = new ArrayList<>();
}
/**