From 245f9b4f0e5f7fcac4e13e4b9dfc673a836e0ec9 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 13 Apr 2005 16:33:11 +0000
Subject: [PATCH] repainting issues fixed

---
 src/jalview/gui/AlignmentPanel.java |    6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index a6ebc6d..e0a1cac 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -59,12 +59,11 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     scalePanelHolder.add(scalePanel, BorderLayout.CENTER);
     seqPanelHolder.add(seqPanel, BorderLayout.CENTER);
 
-
-    if(seqPanel.seqCanvas.getWidth()==0)
     javax.swing.SwingUtilities.invokeLater(new Runnable()
      {
        public void run()
        {
+         invalidate();
          setScrollValues(0,0);
          Dimension d = calculateIdWidth();
          d.setSize( d.width+4, d.height);
@@ -262,8 +261,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
 
   public void RefreshPanels()
   {
-    requestFocus();
-    invalidate();
 
     Dimension d = idPanel.idCanvas.getPreferredSize();
     idPanelHolder.setPreferredSize(d);
@@ -285,6 +282,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     repaint();
   }
 
+
   int hextent = 0;
   int vextent = 0;
 
-- 
1.7.10.2