From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 19 Jul 2019 10:32:15 +0000 (+0100)
Subject: JAL-3371 remove unused field
X-Git-Tag: Release_2_11_1_1~22^2~7^2~1
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5d897ab765ce3b427d5ce230fc54d4f2a2d8e145;p=jalview.git

JAL-3371 remove unused field
---

diff --git a/src/jalview/gui/OptsAndParamsPage.java b/src/jalview/gui/OptsAndParamsPage.java
index acd8445..940ad14 100644
--- 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;