X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;fp=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;h=3d7d779f781eb807618b9ac48a9f2b3bd95763d2;hb=be762d8d9c71a7aa3121e845c45911c7192b7827;hp=5384cc096d7d1e490ab5948ede82377ddfb4963b;hpb=d1bb7a31fc091606aedbc255a5766ac79e36fa91;p=jalview.git diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java index 5384cc0..3d7d779 100755 --- a/src/jalview/jbgui/GUserDefinedColours.java +++ b/src/jalview/jbgui/GUserDefinedColours.java @@ -207,11 +207,10 @@ public class GUserDefinedColours extends JPanel 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() { @@ -223,8 +222,8 @@ public class GUserDefinedColours extends JPanel }); 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); @@ -256,7 +255,8 @@ public class GUserDefinedColours extends JPanel // 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();