Update overview on conservation/pid slider mouseRelease
[jalview.git] / src / jalview / gui / SliderPanel.java
index b830d5d..9f4ab05 100755 (executable)
@@ -342,4 +342,11 @@ public class SliderPanel extends GSliderPanel
     {\r
         return Integer.parseInt(valueField.getText());\r
     }\r
+\r
+    public void slider_mouseReleased(MouseEvent e)\r
+    {\r
+      if (ap.overviewPanel != null)\r
+        ap.overviewPanel.updateOverviewImage();\r
+    }\r
+\r
 }\r