JAL-3371 remove unused field

[jalview.git] / src / jalview / gui / OptsAndParamsPage.java

diff --git a/src/jalview/gui/OptsAndParamsPage.java b/src/jalview/gui/OptsAndParamsPage.java
index acd8445..940ad14 100644 (file)
--- a/src/jalview/gui/OptsAndParamsPage.java
+++ b/src/jalview/gui/OptsAndParamsPage.java
@@ -300,11 +300,6 @@ public class OptsAndParamsPage
 
     Slider slider = null;
 
-    /*
-     * true minimum corresponding to 0 (minimum) of the slider
-     */
-    int sliderZeroValue;
-
     JTextArea string = new JTextArea();
 
     ValueConstrainI validator = null;