git://source.jalview.org / jalview.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
JAL-722 updated from 2.11.2 develop branch - needs further work before release
[jalview.git] / src / jalview / jbgui / GUserDefinedColours.java
diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java
index 359f787..5c000dd 100755 (executable)
--- 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("<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()
     {
@@ -260,7 +259,7 @@ public class GUserDefinedColours extends JPanel
               { choosers[0] });
     }
 
-    selectedButtons = new ArrayList<JButton>();
+    selectedButtons = new ArrayList<>();
   }
 
   /**