hscrollFillerPanel.setSize(d);\r
\r
alignFrame.pack();\r
+\r
+ if(overviewPanel!=null)\r
+ overviewPanel.updateOverviewImage();\r
}\r
\r
public void setIdWidth(int w, int h)\r
idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height);\r
annotationSpaceFillerHolder.setSize(d.width,\r
annotationPanel.getSize().height);\r
- alabels.setSize(d.width, annotationPanel.getSize().height);\r
\r
- alabels.repaint();\r
- idPanel.idCanvas.repaint();\r
- seqPanel.seqCanvas.repaint();\r
- scalePanel.repaint();\r
- annotationPanel.repaint();\r
+ alabels.setSize(d.width, annotationPanel.getSize().height);\r
\r
if (av.getWrapAlignment())\r
{\r
setScrollValues(av.getStartRes(), av.getStartSeq());\r
}\r
\r
+ alabels.repaint();\r
+ idPanel.idCanvas.repaint();\r
+ seqPanel.seqCanvas.repaint();\r
+ scalePanel.repaint();\r
+ annotationPanel.repaint();\r
+\r
}\r
}\r