X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FUserDefinedColours.java;h=a8afd43ba49fd21069d9347c66a951a7f3d34519;hb=7f7fc2e5533f7b00c86465f964e37c55bcf12fd7;hp=2369049231035fd3cdbdbd603a325a17302907c5;hpb=9e46fb6245b28f14f01cb84d46d03cf5453e7010;p=jalview.git

diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java
index 2369049..a8afd43 100755
--- a/src/jalview/gui/UserDefinedColours.java
+++ b/src/jalview/gui/UserDefinedColours.java
@@ -66,6 +66,7 @@ public class UserDefinedColours extends GUserDefinedColours
     public UserDefinedColours(AlignmentPanel ap, SequenceGroup sg)
     {
         super();
+
         lcaseColour.setEnabled(false);
 
         this.ap = ap;
@@ -351,7 +352,7 @@ public class UserDefinedColours extends GUserDefinedColours
         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 +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;