*/
package jalview.jbgui;
+import jalview.bin.Jalview;
import jalview.gui.JvSwingUtils;
import jalview.util.MessageManager;
JLabel jLabel1 = new JLabel();
- protected JTextField schemeName = new JTextField();
+ public JTextField schemeName = new JTextField();
BorderLayout borderLayout1 = new BorderLayout();
protected JPanel casePanel = new JPanel();
- protected JCheckBox caseSensitive = new JCheckBox();
+ public JCheckBox caseSensitive = new JCheckBox();
- protected JCheckBox lcaseColour = new JCheckBox();
+ public JCheckBox lcaseColour = new JCheckBox();
protected List<JButton> selectedButtons;
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<>();
}
/**
{
}
- protected boolean savebutton_actionPerformed()
+ protected void savebutton_actionPerformed()
{
- return false;
}
/**