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