Highlight feature to edit

[jalview.git] / src / jalview / gui / UserDefinedColours.java

diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java
index d2741a9..a8afd43 100755 (executable)
--- a/src/jalview/gui/UserDefinedColours.java
+++ b/src/jalview/gui/UserDefinedColours.java
@@ -67,10 +67,6 @@ public class UserDefinedColours extends GUserDefinedColours
     {\r
         super();\r
 \r
-        //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release\r
-        casePanel.setVisible(false);\r
-\r
-\r
         lcaseColour.setEnabled(false);\r
 \r
         this.ap = ap;\r
@@ -137,9 +133,6 @@ public class UserDefinedColours extends GUserDefinedColours
 \r
     void resetButtonPanel(boolean caseSensitive)\r
     {\r
-      //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release\r
-      caseSensitive = false;\r
-\r
       buttonPanel.removeAll();\r
 \r
 \r
@@ -356,12 +349,10 @@ public class UserDefinedColours extends GUserDefinedColours
           {    }\r
         }\r
 \r
-      /* //AW - LOWER CASE DISABLED IN 2.1.01 bug fix release\r
         if(caseSensitive.isSelected())\r
           button.setMargin(new java.awt.Insets(2,2,2,2));\r
         else\r
          button.setMargin(new java.awt.Insets(2,14,2,14));\r
-      */\r
 \r
         button.setBackground(col);\r
         button.setText(label);\r
@@ -583,7 +574,7 @@ public class UserDefinedColours extends GUserDefinedColours
               }\r
               else\r
               {\r
-                index = ((Integer)ResidueProperties.aaHash.get(name)).intValue();\r
+                index = ResidueProperties.aaIndex[name.charAt(0)];\r
               }\r
               if(index == -1)\r
                 continue;\r