X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;h=3d7d779f781eb807618b9ac48a9f2b3bd95763d2;hb=3d0101179759ef157b088ea135423cd909512d9f;hp=c3645a854e41cc3f51aa8a05e5b9788e521ef36e;hpb=1ddaca03529cd2b02502a1dae10c18582164972d;p=jalview.git

diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java
index c3645a8..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<JButton>();
@@ -286,8 +286,9 @@ public class GUserDefinedColours extends JPanel
   {
   }
 
-  protected void savebutton_actionPerformed()
+  protected boolean savebutton_actionPerformed()
   {
+    return false;
   }
 
   /**