From: jprocter <Jim Procter>
Date: Tue, 18 Jan 2011 17:46:08 +0000 (+0000)
Subject: patch for JAL-695 - need to test if this is observed in applet
X-Git-Tag: Release_2_7~285
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=be5dc1bac15b614916b45903fa266c4f743f3114;hp=ecf2d49dbf1d62c024845715f141a596cff8b065;p=jalview.git

patch for JAL-695 - need to test if this is observed in applet
---

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index 6d4c63b..0519f47 100755
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -224,6 +224,10 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     return new Dimension(idWidth, idPanel.idCanvas.getSize().height);
   }
 
+  /**
+   * Highlight the given results on the alignment.
+   * 
+   */
   public void highlightSearchResults(SearchResults results)
   {
     seqPanel.seqCanvas.highlightSearchResults(results);
@@ -261,6 +265,19 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return;
       }
+      if (av.hasHiddenColumns)
+      {
+        start = av.getColumnSelection().findColumnPosition(start);
+        end = av.getColumnSelection().findColumnPosition(end);
+        if (start==end)
+        {
+          if (!av.colSel.isVisible(r[0]))
+          {
+            // don't scroll - position isn't visible
+            return;
+          }
+        }
+      }
       if (!av.wrapAlignment)
       {
         if ((av.getStartRes() > end)