- slider.addChangeListener(new ChangeListener()\r
- {\r
- public void stateChanged(ChangeEvent evt)\r
- {\r
- valueField.setText(slider.getValue() + "");\r
- }\r
- });\r
-\r
- slider.setMinimum(0);\r
- slider.setMaximum(100);\r
- slider.setValue(100);\r
- }\r
-\r
- public void applyButton_actionPerformed(ActionEvent e)\r
- {\r
- float threshold = slider.getValue();\r
- Vector del;\r
- HistoryItem it;\r
- historyList.push(it = new HistoryItem("Remove redundancy",\r
- ap.av.alignment, HistoryItem.HIDE));\r
-\r
- if ( (historyList.size() == 1) ||\r
- !af.historyList.contains(historyList.firstElement()))\r
+/**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @author $author$\r
+ * @version $Revision$\r
+ */\r
+public class RedundancyPanel extends GSliderPanel\r
+{\r
+ AlignFrame af;\r
+ AlignmentPanel ap;\r
+ Stack historyList = new Stack(); // simpler than synching with alignFrame.\r
+\r
+ /**\r
+ * Creates a new RedundancyPanel object.\r
+ *\r
+ * @param ap DOCUMENT ME!\r
+ * @param af DOCUMENT ME!\r
+ */\r
+ public RedundancyPanel(AlignmentPanel ap, AlignFrame af)\r