From 4679c58949f642fd64e9726ec5bf2c3f338a0861 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 1 Dec 2004 17:33:10 +0000
Subject: [PATCH] show search results added

---
 src/jalview/gui/AlignmentPanel.java |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 4f56474..33b8665 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -51,7 +51,10 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
    seqPanel.seqCanvas.highlightSearchResults( results );
 
    // do we need to scroll the panel?
-   if(av.getStartSeq()>results[0] || av.getEndSeq()<results[0]  || av.getStartRes()>results[1] || av.getEndRes()<results[2])
+   if(results!=null && (av.getStartSeq()>results[0]
+                        || av.getEndSeq()<results[0]
+                        || av.getStartRes()>results[1]
+                        || av.getEndRes()<results[2]))
        setScrollValues(results[1], results[0]);
 
 
@@ -98,14 +101,13 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   public void RefreshPanels()
   {
     invalidate();
-    validate();
     seqPanel.seqCanvas.paintFlag = true;
     idPanel.idCanvas.paintFlag = true;
     idPanelHolder.setPreferredSize( idPanel.idCanvas.getPreferredSize() );
     setScrollValues(av.getStartRes(), av.getStartSeq());
     av.getConsensus(true);
     repaint();
-
+    validate();
     if(overviewPanel!=null)
       overviewPanel.updateOverviewImage();
 
-- 
1.7.10.2