X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;fp=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;h=5c000dd038329708397cd1b2e3eb7647660f9f0d;hb=48a66195bf4aee8b2c479d3bbbf4c1fb8b824f5a;hp=359f787f5f22a90243244ebecaaf9879785b8e1f;hpb=4d71acba1cc4999e8e4061ec3e9ae55e1b37084e;p=jalview.git diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java index 359f787..5c000dd 100755 --- a/src/jalview/jbgui/GUserDefinedColours.java +++ b/src/jalview/jbgui/GUserDefinedColours.java @@ -208,10 +208,9 @@ 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.getString( + "label.save_colour_scheme_with_unique_name_added_to_colour_menu") + + ""); caseSensitive.setText(MessageManager.getString("label.case_sensitive")); caseSensitive.addActionListener(new ActionListener() { @@ -260,7 +259,7 @@ public class GUserDefinedColours extends JPanel { choosers[0] }); } - selectedButtons = new ArrayList(); + selectedButtons = new ArrayList<>(); } /**