Use paintAlignment

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

diff --git a/src/jalview/gui/SliderPanel.java b/src/jalview/gui/SliderPanel.java
index 98579eb..23b76e3 100755 (executable)
--- a/src/jalview/gui/SliderPanel.java
+++ b/src/jalview/gui/SliderPanel.java
@@ -51,7 +51,7 @@ public class SliderPanel
    * @param forConserve DOCUMENT ME!\r
    * @param cs DOCUMENT ME!\r
    */\r
-  public SliderPanel(AlignmentPanel ap, int value, boolean forConserve,\r
+  public SliderPanel(final AlignmentPanel ap, int value, boolean forConserve,\r
                      ColourSchemeI cs)\r
   {\r
     this.ap = ap;\r
@@ -82,6 +82,14 @@ public class SliderPanel
       }\r
     });\r
 \r
+    slider.addMouseListener(new MouseAdapter()\r
+    {\r
+      public void mouseReleased(MouseEvent evt)\r
+      {\r
+         ap.paintAlignment(true);\r
+      }\r
+    });\r
+\r
     slider.setValue(value);\r
     valueField.setText(value + "");\r
   }\r