{\r
createNewGroup.setEnabled(false);\r
\r
- String searchString = textfield.getText().toUpperCase().trim();\r
+ String searchString = textfield.getText().trim();\r
+ if(!caseSensitive.isSelected())\r
+ searchString = searchString.toUpperCase();\r
+\r
if(searchString.length()<1)\r
return;\r
\r
continue;\r
}\r
\r
- item = seq.getSequence().toUpperCase();\r
+ item = seq.getSequence();\r
+ if(!caseSensitive.isSelected())\r
+ item = item.toUpperCase();\r
\r
if ((selection != null) &&\r
(selection.getEndRes() < av.alignment.getWidth()-1))\r