X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fgui%2FAnnotationColourChooser.java;h=31c7ba7cad7912d4c2948227eea17f08babda588;hb=c54ce58a000089a3f45f5978dd10ed41bfedfc4f;hp=ba76858d39d049f526df041f1b5393585365fa8b;hpb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;p=jalview.git diff --git a/src/jalview/gui/AnnotationColourChooser.java b/src/jalview/gui/AnnotationColourChooser.java index ba76858..31c7ba7 100755 --- a/src/jalview/gui/AnnotationColourChooser.java +++ b/src/jalview/gui/AnnotationColourChooser.java @@ -39,7 +39,7 @@ public class AnnotationColourChooser jalview.datamodel.AlignmentAnnotation currentAnnotation; boolean adjusting = false; - public AnnotationColourChooser(AlignViewport av, AlignmentPanel ap) + public AnnotationColourChooser(AlignViewport av, final AlignmentPanel ap) { oldcs = av.getGlobalColourScheme(); if (av.alignment.getGroups() != null) @@ -81,6 +81,13 @@ public class AnnotationColourChooser } } }); + slider.addMouseListener(new MouseAdapter() + { + public void mouseReleased(MouseEvent evt) + { + ap.paintAlignment(true); + } + }); if (av.alignment.getAlignmentAnnotation() == null) { @@ -405,7 +412,7 @@ public class AnnotationColourChooser } } - ap.repaint(); + ap.paintAlignment(false); } public void ok_actionPerformed(ActionEvent e) @@ -480,7 +487,7 @@ public class AnnotationColourChooser } currentAnnotation.threshold.value = (float) slider.getValue() / 1000f; - ap.repaint(); + ap.paintAlignment(false); } public void currentColours_actionPerformed(ActionEvent e)