X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FUserDefinedColours.java;h=a8afd43ba49fd21069d9347c66a951a7f3d34519;hb=ddf3aca722d27da4bd2c58e9f0ab0909ba9639c0;hp=d2741a972d122e7487c1e4fdc5e73894672834c3;hpb=b5d69834ef8b11df514d5b4c08c82945f15f8a2e;p=jalview.git diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java index d2741a9..a8afd43 100755 --- a/src/jalview/gui/UserDefinedColours.java +++ b/src/jalview/gui/UserDefinedColours.java @@ -67,10 +67,6 @@ public class UserDefinedColours extends GUserDefinedColours { super(); - //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release - casePanel.setVisible(false); - - lcaseColour.setEnabled(false); this.ap = ap; @@ -137,9 +133,6 @@ public class UserDefinedColours extends GUserDefinedColours void resetButtonPanel(boolean caseSensitive) { - //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release - caseSensitive = false; - buttonPanel.removeAll(); @@ -356,12 +349,10 @@ 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.setBackground(col); button.setText(label); @@ -583,7 +574,7 @@ public class UserDefinedColours extends GUserDefinedColours } else { - index = ((Integer)ResidueProperties.aaHash.get(name)).intValue(); + index = ResidueProperties.aaIndex[name.charAt(0)]; } if(index == -1) continue;