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(
+ MessageManager.formatMessage("label.html_content", new String[]
+ { MessageManager.getString(
+ "label.save_colour_scheme_with_unique_name_added_to_colour_menu") }));
caseSensitive.setText(MessageManager.getString("label.case_sensitive"));
caseSensitive.addActionListener(new ActionListener()
{
});
lcaseColour
.setText(MessageManager.getString("label.lower_case_colour"));
- lcaseColour.setToolTipText(MessageManager
- .getString("label.lower_case_tip"));
+ lcaseColour.setToolTipText(
+ MessageManager.getString("label.lower_case_tip"));
saveLoadPanel.add(savebutton);
saveLoadPanel.add(loadbutton);
// Java 7 default has 5 options rather than 3 for choosing colours; keep
// the first only
colorChooser
- .setChooserPanels(new AbstractColorChooserPanel[] { choosers[0] });
+ .setChooserPanels(new AbstractColorChooserPanel[]
+ { choosers[0] });
}
selectedButtons = new ArrayList<JButton>();
{
}
- protected void savebutton_actionPerformed()
+ protected boolean savebutton_actionPerformed()
{
+ return false;
}
/**