- RefreshPanels();\r
- }\r
-\r
- public void RefreshPanels()\r
- {\r
- requestFocus();\r
- invalidate();\r
- idPanelHolder.setPreferredSize(idPanel.idCanvas.getPreferredSize());\r
- if(idPanel.idCanvas.getPreferredSize()!=null)\r
- hscrollFillerPanel.setPreferredSize(new Dimension(idPanel.idCanvas.getPreferredSize().width, 12));\r
- idSpaceFillerPanel1.setPreferredSize(new Dimension(500,\r
- av.charHeight / 2 + 12));\r
- scalePanelHolder.setPreferredSize(new Dimension(500,\r
- av.charHeight / 2 + 12));\r
- if (av.getWrapAlignment())\r
- {\r
- int max = av.alignment.getWidth() /\r
- (seqPanel.seqCanvas.getWidth() / av.charWidth) + 1;\r
-\r
- int h = (av.alignment.getHeight() + 2) * av.charHeight;\r
- vextent = seqPanel.seqCanvas.getHeight() / h;\r
- vscroll.setValues(0, vextent, 0, max);\r
- }\r
- else\r
-\r
- setScrollValues(av.getStartRes(), av.getStartSeq());\r
- av.getConsensus(true);\r
- if (overviewPanel != null)\r
- overviewPanel.updateOverviewImage();\r
-\r
- validate();\r
- repaint();\r