annotationPanel.getSize().height);\r
alabels.setSize(d.width, annotationPanel.getSize().height);\r
\r
+ final AlignmentPanel ap = this;\r
+ av.addPropertyChangeListener(new java.beans.PropertyChangeListener()\r
+ {\r
+ public void propertyChange(java.beans.PropertyChangeEvent evt)\r
+ {\r
+ if (evt.getPropertyName().equals("alignment"))\r
+ {\r
+ PaintRefresher.Refresh(ap,\r
+ av.getSequenceSetId(),\r
+ true,\r
+ true);\r
+ alignmentChanged();\r
+ }\r
+ }\r
+ });\r
+\r
}\r
\r
\r
+ public void alignmentChanged()\r
+ {\r
+ av.alignmentChanged(this);\r
+\r
+ if (overviewPanel != null)\r
+ overviewPanel.updateOverviewImage();\r
+\r
+ alignFrame.updateEditMenuBar();\r
+\r
+ repaint();\r
+ }\r
+\r
public void fontChanged()\r
{\r
// set idCanvas bufferedImage to null\r