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

diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java
index c3645a8..359f787 100755
--- a/src/jalview/jbgui/GUserDefinedColours.java
+++ b/src/jalview/jbgui/GUserDefinedColours.java
@@ -20,6 +20,7 @@
  */
 package jalview.jbgui;
 
+import jalview.bin.Jalview;
 import jalview.gui.JvSwingUtils;
 import jalview.util.MessageManager;
 
@@ -74,7 +75,7 @@ public class GUserDefinedColours extends JPanel
 
   JLabel jLabel1 = new JLabel();
 
-  protected JTextField schemeName = new JTextField();
+  public JTextField schemeName = new JTextField();
 
   BorderLayout borderLayout1 = new BorderLayout();
 
@@ -102,9 +103,9 @@ public class GUserDefinedColours extends JPanel
 
   protected JPanel casePanel = new JPanel();
 
-  protected JCheckBox caseSensitive = new JCheckBox();
+  public JCheckBox caseSensitive = new JCheckBox();
 
-  protected JCheckBox lcaseColour = new JCheckBox();
+  public JCheckBox lcaseColour = new JCheckBox();
 
   protected List<JButton> selectedButtons;
 
@@ -207,11 +208,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 +223,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 +256,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>();