X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;fp=src%2Fjalview%2Fjbgui%2FGUserDefinedColours.java;h=b5695b2ecd0257eec0320479e028e807c07ad9eb;hb=9623cea766a766683243235557ad48e6f7659e6a;hp=8b20939fb570beea857dc44afec40e5f9133220a;hpb=6066400ed6b0fe288ebbea82389f59838a534706;p=jalview.git diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java index 8b20939..b5695b2 100755 --- a/src/jalview/jbgui/GUserDefinedColours.java +++ b/src/jalview/jbgui/GUserDefinedColours.java @@ -23,10 +23,23 @@ package jalview.jbgui; import jalview.gui.JvSwingUtils; import jalview.util.MessageManager; -import java.awt.*; -import java.awt.event.*; - -import javax.swing.*; +import java.awt.BorderLayout; +import java.awt.Color; +import java.awt.Dimension; +import java.awt.FlowLayout; +import java.awt.Font; +import java.awt.GridBagLayout; +import java.awt.GridLayout; +import java.awt.event.ActionEvent; +import java.awt.event.ActionListener; + +import javax.swing.JButton; +import javax.swing.JCheckBox; +import javax.swing.JColorChooser; +import javax.swing.JLabel; +import javax.swing.JPanel; +import javax.swing.JTextField; +import javax.swing.SwingConstants; import javax.swing.colorchooser.AbstractColorChooserPanel; /** @@ -185,11 +198,11 @@ 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() { @@ -229,12 +242,16 @@ public class GUserDefinedColours extends JPanel jPanel4.add(panel1, java.awt.BorderLayout.CENTER); this.add(jPanel4, java.awt.BorderLayout.CENTER); this.add(colorChooser, java.awt.BorderLayout.EAST); - + AbstractColorChooserPanel[] choosers = colorChooser.getChooserPanels(); - // JAL-1360 larger JColorChooser in Java 7 overwrites AA panel; restrict to swatch picker only - if (choosers.length > 3) { - // Java 7 default has 5 options rather than 3 for choosing colours; keep the first only - colorChooser.setChooserPanels(new AbstractColorChooserPanel[]{choosers[0]}); + // JAL-1360 larger JColorChooser in Java 7 overwrites AA panel; restrict to + // swatch picker only + if (choosers.length > 3) + { + // Java 7 default has 5 options rather than 3 for choosing colours; keep + // the first only + colorChooser + .setChooserPanels(new AbstractColorChooserPanel[] { choosers[0] }); } }