From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 1 Dec 2004 17:33:10 +0000 (+0000)
Subject: show search results added
X-Git-Tag: Release_2_0~882
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=4679c58949f642fd64e9726ec5bf2c3f338a0861;p=jalview.git

show search results added
---

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();