From 5d897ab765ce3b427d5ce230fc54d4f2a2d8e145 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 19 Jul 2019 11:32:15 +0100
Subject: [PATCH] JAL-3371 remove unused field

---
 src/jalview/gui/OptsAndParamsPage.java |    5 -----
 1 file changed, 5 deletions(-)

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;
-- 
1.7.10.2