import java.awt.event.*;\r
\r
import jalview.datamodel.*;\r
-import jalview.jbappletgui.*;\r
\r
-public class RedundancyPanel\r
- extends GSliderPanel\r
+public class RedundancyPanel extends SliderPanel\r
{\r
AlignmentPanel ap;\r
\r
\r
public RedundancyPanel(AlignmentPanel ap)\r
{\r
+ super(ap, 0, false, null);\r
+\r
this.ap = ap;\r
\r
label.setText("Enter the redundancy threshold");\r
\r
}\r
\r
- public void applyButton_actionPerformed(ActionEvent e)\r
+ public void applyButton_actionPerformed()\r
{\r
float threshold = slider.getValue();\r
Vector del;\r
\r
}\r
\r
- public void undoButton_actionPerformed(ActionEvent e)\r
+ public void undoButton_actionPerformed()\r
{\r
undoButton.setEnabled(false);\r
ap.av.setAlignment(new Alignment(oldAlignment));\r