\r
public class AnnotationColourChooser\r
extends Panel implements ActionListener,\r
- AdjustmentListener, ItemListener\r
+ AdjustmentListener, ItemListener, MouseListener\r
{\r
Frame frame;\r
AlignViewport av;\r
this.ap = ap;\r
\r
slider.addAdjustmentListener(this);\r
+ slider.addMouseListener(this);\r
\r
if (av.alignment.getAlignmentAnnotation() == null)\r
{\r
else if (evt.getSource() == cancel)\r
{\r
reset();\r
- ap.repaint();\r
+ ap.paintAlignment(true);\r
frame.setVisible(false);\r
}\r
\r
}\r
\r
currentAnnotation.threshold.value = (float) slider.getValue() / 1000f;\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
}\r
\r
}\r
}\r
\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
\r
void reset()\r
sg.cs = (ColourSchemeI) oldgroupColours.get(sg);\r
}\r
}\r
- ap.repaint();\r
+ ap.paintAlignment(true);\r
\r
}\r
\r
+ public void mouseClicked(MouseEvent evt){}\r
+ public void mousePressed(MouseEvent evt){}\r
+ public void mouseReleased(MouseEvent evt){ ap.paintAlignment(true);}\r
+ public void mouseEntered(MouseEvent evt){}\r
+ public void mouseExited(MouseEvent evt){}\r
+\r
+\r
}\r