scalePanelHolder.add(scalePanel, BorderLayout.CENTER);\r
seqPanelHolder.add(seqPanel, BorderLayout.CENTER);\r
\r
- javax.swing.SwingUtilities.invokeLater(new Runnable()\r
- {\r
- public void run()\r
- {\r
- invalidate();\r
- setScrollValues(0,0);\r
- Dimension d = calculateIdWidth();\r
- d.setSize( d.width+4, d.height);\r
- idPanel.idCanvas.setPreferredSize( d );\r
- RefreshPanels();\r
- }\r
- });\r
-\r
+ setScrollValues(0, 0);\r
\r
hscroll.addAdjustmentListener(this);\r
vscroll.addAdjustmentListener(this);\r
{\r
public void componentResized(ComponentEvent evt)\r
{\r
- RefreshPanels();\r
+ repaint();\r
}\r
});\r
\r
{\r
case 27: // escape key\r
av.setSelectionGroup(null);\r
- RefreshPanels();\r
+ repaint();\r
break;\r
case KeyEvent.VK_X:\r
if(evt.isControlDown())\r
{\r
annotationSpaceFillerHolder.setVisible(b);\r
annotationScroller.setVisible(b);\r
- javax.swing.SwingUtilities.invokeLater(new Runnable()\r
- {\r
- public void run()\r
- {\r
- RefreshPanels();\r
- }\r
- });\r
-\r
}\r
\r
\r
annotationScroller.setVisible(!wrap);\r
annotationSpaceFillerHolder.setVisible(!wrap);\r
idSpaceFillerPanel1.setVisible(!wrap);\r
- javax.swing.SwingUtilities.invokeLater(new Runnable()\r
- {\r
- public void run()\r
- {\r
- RefreshPanels();\r
- }\r
- });\r
+\r
+ repaint();\r
\r
}\r
\r
\r
}\r
\r
- RefreshPanels();\r
- }\r
-\r
-\r
- public void RefreshPanels()\r
- {\r
-\r
- Dimension d = idPanel.idCanvas.getPreferredSize();\r
- idPanelHolder.setPreferredSize(d);\r
- hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12));\r
-\r
- if (av.getWrapAlignment())\r
- {\r
- int max = av.alignment.getWidth() / seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());\r
- vscroll.setValues(0, 1, 0, max);\r
- }\r
- else\r
- {\r
- if (overviewPanel != null)\r
- overviewPanel.updateOverviewImage();\r
- setScrollValues(av.getStartRes(), av.getStartSeq());\r
- }\r
-\r
- validate();\r
repaint();\r
}\r
\r
\r
}\r
\r
+ public void paintComponent(Graphics g)\r
+ {\r
+ invalidate();\r
+\r
+ Dimension d = idPanel.idCanvas.getPreferredSize();\r
+ idPanelHolder.setPreferredSize(d);\r
+ hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12));\r
+\r
+ if (av.getWrapAlignment())\r
+ {\r
+ int max = av.alignment.getWidth() / seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());\r
+ vscroll.setMaximum(max);\r
+ vscroll.setUnitIncrement(1);\r
+ }\r
+ else\r
+ {\r
+ if (overviewPanel != null)\r
+ overviewPanel.updateOverviewImage();\r
+ setScrollValues(av.getStartRes(), av.getStartSeq());\r
+ }\r
+\r
+ validate();\r
+\r
+ }\r
+\r
public int print(Graphics pg, PageFormat pf, int pi) throws PrinterException\r
{\r
pg.translate((int)pf.getImageableX(), (int)pf.getImageableY());\r