jalview.datamodel.AlignmentAnnotation currentAnnotation;\r
boolean adjusting = false;\r
\r
- public AnnotationColourChooser(AlignViewport av, AlignmentPanel ap)\r
+ public AnnotationColourChooser(AlignViewport av, final AlignmentPanel ap)\r
{\r
oldcs = av.getGlobalColourScheme();\r
if (av.alignment.getGroups() != null)\r
}\r
}\r
});\r
+ slider.addMouseListener(new MouseAdapter()\r
+ {\r
+ public void mouseReleased(MouseEvent evt)\r
+ {\r
+ ap.paintAlignment(true);\r
+ }\r
+ });\r
\r
if (av.alignment.getAlignmentAnnotation() == null)\r
{\r
}\r
}\r
\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
\r
public void ok_actionPerformed(ActionEvent e)\r
}\r
\r
currentAnnotation.threshold.value = (float) slider.getValue() / 1000f;\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
\r
public void currentColours_actionPerformed(ActionEvent e)\r