X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;h=27a068c9338b5e58252dc91f379a802b91eb5b38;hb=c794c5033adeee182b03a5ea92c0a7495a29661f;hp=5384cc096d7d1e490ab5948ede82377ddfb4963b;hpb=136c0793b90b72b928c4d77dc109dd5c644e00d3;p=jalview.git diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java index 5384cc0..27a068c 100755 --- a/src/jalview/jbgui/GUserDefinedColours.java +++ b/src/jalview/jbgui/GUserDefinedColours.java @@ -74,7 +74,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 +102,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 selectedButtons; @@ -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(); @@ -286,9 +286,8 @@ public class GUserDefinedColours extends JPanel { } - protected boolean savebutton_actionPerformed() + protected void savebutton_actionPerformed() { - return false; } /**