From 161f6be325e2c5ee3aa9cc8158a9b5460bb472e7 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 1 Dec 2004 17:35:08 +0000
Subject: [PATCH] If search results==null, displaySearch is false

---
 src/jalview/gui/SeqCanvas.java |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/jalview/gui/SeqCanvas.java b/src/jalview/gui/SeqCanvas.java
index 8785454..3850244 100755
--- a/src/jalview/gui/SeqCanvas.java
+++ b/src/jalview/gui/SeqCanvas.java
@@ -401,8 +401,13 @@ public class SeqCanvas extends JPanel
   public void highlightSearchResults(int [] results)
   {
     // results are in the order sequence, startRes, endRes
+    if(results==null)
+      displaySearch = false;
+    else
+      displaySearch = true;
+
     searchResults = results;
-    displaySearch = true;
+
     paintFlag = true;
     repaint();
   }
-- 
1.7.10.2