X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FUserDefinedColours.java;h=86c39f9124cba0057f783392dff07a42e54dc4eb;hb=d86deeaf2bf1128ff2d4e610c9a715c9970fb3ad;hp=2369049231035fd3cdbdbd603a325a17302907c5;hpb=9e46fb6245b28f14f01cb84d46d03cf5453e7010;p=jalview.git diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java index 2369049..86c39f9 100755 --- a/src/jalview/gui/UserDefinedColours.java +++ b/src/jalview/gui/UserDefinedColours.java @@ -66,6 +66,11 @@ public class UserDefinedColours extends GUserDefinedColours public UserDefinedColours(AlignmentPanel ap, SequenceGroup sg) { super(); + + //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release + casePanel.setVisible(false); + + lcaseColour.setEnabled(false); this.ap = ap; @@ -132,6 +137,9 @@ public class UserDefinedColours extends GUserDefinedColours void resetButtonPanel(boolean caseSensitive) { + //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release + caseSensitive = false; + buttonPanel.removeAll(); @@ -348,10 +356,12 @@ public class UserDefinedColours extends GUserDefinedColours { } } + /* //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release if(caseSensitive.isSelected()) button.setMargin(new java.awt.Insets(2,2,2,2)); else - button.setMargin(new java.awt.Insets(2,14,2,14)); + button.setMargin(new java.awt.Insets(2,14,2,14)); + */ button.setBackground(col); button.setText(label); @@ -573,7 +583,7 @@ public class UserDefinedColours extends GUserDefinedColours } else { - index = ((Integer)ResidueProperties.aaHash.get(name)).intValue(); + index = ResidueProperties.aaIndex[name.charAt(0)]; } if(index == -1) continue;