X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSliderPanel.java;h=23b76e33a9379f5a55d27730a0936aa1570ce6f7;hb=e9217775986fbca85770d7fe5b3763b6920b0c3f;hp=98579ebe8af84e31ad1d84d9f24c62f7f3ccacc5;hpb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;p=jalview.git diff --git a/src/jalview/gui/SliderPanel.java b/src/jalview/gui/SliderPanel.java index 98579eb..23b76e3 100755 --- a/src/jalview/gui/SliderPanel.java +++ b/src/jalview/gui/SliderPanel.java @@ -51,7 +51,7 @@ public class SliderPanel * @param forConserve DOCUMENT ME! * @param cs DOCUMENT ME! */ - public SliderPanel(AlignmentPanel ap, int value, boolean forConserve, + public SliderPanel(final AlignmentPanel ap, int value, boolean forConserve, ColourSchemeI cs) { this.ap = ap; @@ -82,6 +82,14 @@ public class SliderPanel } }); + slider.addMouseListener(new MouseAdapter() + { + public void mouseReleased(MouseEvent evt) + { + ap.paintAlignment(true); + } + }); + slider.setValue(value); valueField.setText(value + ""); }