+\r
+ progress.setIndeterminate(false);\r
+ progress.setVisible(false);\r
+ progress = null;\r
+\r
+ label.setText("Enter the redundancy threshold");\r
+ slider.setVisible(true);\r
+ applyButton.setEnabled(true);\r
+ valueField.setVisible(true);\r
+\r
+ validate();\r
+ // System.out.println((System.currentTimeMillis()-start));\r
+ }\r
+\r
+ void sliderValueChanged()\r
+ {\r
+ if(redundancy==null)\r
+ return;\r
+\r
+ float value = slider.getValue();\r
+\r
+ for(int i=0; i<redundancy.length; i++)\r
+ {\r
+ if (value > redundancy[i])\r
+ redundantSeqs.remove(originalSequences[i]);\r
+ else if(!redundantSeqs.contains(originalSequences[i]))\r
+ redundantSeqs.add(originalSequences[i]);\r
+\r
+ }\r
+\r
+ ap.idPanel.idCanvas.setHighlighted(redundantSeqs);\r