From 5f3c64cf6cfbc7bc450167f9a409c2e1c02ce097 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 21 Mar 2005 18:48:20 +0000
Subject: [PATCH] add setValue method

---
 src/jalview/gui/SliderPanel.java |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/jalview/gui/SliderPanel.java b/src/jalview/gui/SliderPanel.java
index fca4105..4f7c89c 100755
--- a/src/jalview/gui/SliderPanel.java
+++ b/src/jalview/gui/SliderPanel.java
@@ -109,6 +109,10 @@ public class SliderPanel extends GSliderPanel
     }
   }
 
+  public void setValue(int value)
+  {
+    slider.setValue(value);
+  }
   public int getValue()
   {
     return Integer.parseInt(valueField.getText());
-- 
1.7.10.2