scalePanelHolder.add(scalePanel, BorderLayout.CENTER);\r
seqPanelHolder.add(seqPanel, BorderLayout.CENTER);\r
\r
-\r
- if(seqPanel.seqCanvas.getWidth()==0)\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
\r
public void RefreshPanels()\r
{\r
- requestFocus();\r
- invalidate();\r
\r
Dimension d = idPanel.idCanvas.getPreferredSize();\r
idPanelHolder.setPreferredSize(d);\r
repaint();\r
}\r
\r
+\r
int hextent = 0;\r
int vextent = 0;\r
\r