git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a3d8054)
JAL-3371 remove unused field
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:32:15 +0000 (11:32 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:32:15 +0000 (11:32 +0100)
src/jalview/gui/OptsAndParamsPage.java patch | blob | history

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;