repainting issues fixed
authoramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:33:11 +0000 (16:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:33:11 +0000 (16:33 +0000)
src/jalview/gui/AlignmentPanel.java

index a6ebc6d..e0a1cac 100755 (executable)
@@ -59,12 +59,11 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     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
@@ -262,8 +261,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
 \r
   public void RefreshPanels()\r
   {\r
-    requestFocus();\r
-    invalidate();\r
 \r
     Dimension d = idPanel.idCanvas.getPreferredSize();\r
     idPanelHolder.setPreferredSize(d);\r
@@ -285,6 +282,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     repaint();\r
   }\r
 \r
+\r
   int hextent = 0;\r
   int vextent = 0;\r
 \r