*/
package jalview.jbgui;
+import jalview.util.MessageManager;
+
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
private void jbInit() throws Exception
{
this.setLayout(gridBagLayout1);
- refresh.setText("Refresh Available Sources");
+ refresh.setText(MessageManager.getString("label.refresh_available_sources"));
refresh.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
fullDetails.setEditable(false);
registryLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
registryLabel.setHorizontalAlignment(SwingConstants.TRAILING);
- registryLabel.setText("Use Registry");
- addLocal.setText("Add Local Source");
+ registryLabel.setText(MessageManager.getString("label.use_registry"));
+ addLocal.setText(MessageManager.getString("label.add_local_source"));
addLocal.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
table.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
reset.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
reset.setMargin(new Insets(2, 2, 2, 2));
- reset.setText("Reset");
+ reset.setText(MessageManager.getString("action.reset"));
reset.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
protected JEditorPane fullDetails = new JEditorPane("text/html", "");
- TitledBorder titledBorder1 = new TitledBorder("Available DAS Sources");
+ TitledBorder titledBorder1 = new TitledBorder(MessageManager.getString("label.available_das_sources"));
protected JButton refresh = new JButton();
protected JScrollPane scrollPane = new JScrollPane();
- TitledBorder titledBorder2 = new TitledBorder("Full Details");
+ TitledBorder titledBorder2 = new TitledBorder(MessageManager.getString("label.full_details"));
protected JScrollPane fullDetailsScrollpane = new JScrollPane();
GridBagLayout gridBagLayout1 = new GridBagLayout();
- TitledBorder titledBorder3 = new TitledBorder("Authority:");
+ TitledBorder titledBorder3 = new TitledBorder(MessageManager.getString("label.authority") + ":");
- TitledBorder titledBorder4 = new TitledBorder("Type:");
+ TitledBorder titledBorder4 = new TitledBorder(MessageManager.getString("label.type") + ":");
- TitledBorder titledBorder5 = new TitledBorder("Label:");
+ TitledBorder titledBorder5 = new TitledBorder(MessageManager.getString("label.label") + ":");
JButton reset = new JButton();