X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=cc89098b499749361bd5b61f2a49a5a3797c33cc;hb=476d13d644d3bf2886519b13bc7f02d1ae9729f9;hp=0423cbb37abbeb5852dd662d5a21882cea886ffb;hpb=df1c58f9669c477db082016aa919d6c6cc9da071;p=jalview.git

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index 0423cbb..cc89098 100755
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -219,19 +219,25 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
         }
         else
         {
-          int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.
-              seqCanvas.getSize().width);
-          if (start < av.getStartRes() || start > (av.getStartRes() + cwidth))
-          {
-            vscroll.setValue(start / cwidth);
-            av.startRes = vscroll.getValue() * cwidth;
-          }
+          scrollToWrappedVisible(start);
         }
     }
 
     repaint();
   }
 
+  void scrollToWrappedVisible(int res)
+  {
+    int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.
+        getWidth());
+    if (res <= av.getStartRes() || res >= (av.getStartRes() + cwidth))
+    {
+      vscroll.setValue(res / cwidth);
+      av.startRes = vscroll.getValue() * cwidth;
+    }
+  }
+
+
   public OverviewPanel getOverviewPanel()
   {
     return overviewPanel;
@@ -296,8 +302,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      fastPaint = false;
-      vscroll.setValue(vscroll.getValue() - 1);
+      setScrollValues(hscroll.getValue(), vscroll.getValue()-1);
     }
     else
     {
@@ -305,24 +310,22 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      fastPaint = false;
-      vscroll.setValue(vscroll.getValue() + 1);
+      setScrollValues(hscroll.getValue(), vscroll.getValue()+1);
     }
-    fastPaint = true;
+
+    repaint();
     return true;
   }
 
   public boolean scrollRight(boolean right)
   {
-
-    if (right)
+    if (!right)
     {
       if (hscroll.getValue() < 1)
       {
         return false;
       }
-      fastPaint = false;
-      hscroll.setValue(hscroll.getValue() - 1);
+      setScrollValues(hscroll.getValue()-1, vscroll.getValue());
     }
     else
     {
@@ -330,16 +333,15 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      fastPaint = false;
-      hscroll.setValue(hscroll.getValue() + 1);
+      setScrollValues(hscroll.getValue()+1, vscroll.getValue());
     }
-    fastPaint = true;
+
+    repaint();
     return true;
   }
 
   public void setScrollValues(int x, int y)
   {
-
     av.setStartRes(x);
     av.setStartSeq(y);
     av.setEndRes(x + seqPanel.seqCanvas.getSize().width / av.getCharWidth() - 1);
@@ -386,6 +388,8 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     hscroll.setValues(x, hextent, 0, av.getAlignment().getWidth());
     vscroll.setValues(y, vextent, 0, av.getAlignment().getHeight());
 
+    if(overviewPanel!=null)
+          overviewPanel.setBoxPosition();
   }
 
   public void adjustmentValueChanged(AdjustmentEvent evt)
@@ -393,6 +397,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     int oldX = av.getStartRes();
     int oldY = av.getStartSeq();
 
+
     if (evt==null || evt.getSource() == hscroll)
     {
       int x = hscroll.getValue();
@@ -401,6 +406,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
                    1);
     }
 
+
     if (evt==null || evt.getSource() == vscroll)
     {
       int offy = vscroll.getValue();
@@ -431,12 +437,14 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     {
       repaint();
     }
-    else if(!seqPanel.seqCanvas.fastPaint)
+    else
     {
       // Make sure we're not trying to draw a panel
       // larger than the visible window
       if(scrollX>av.endRes-av.startRes)
-        scrollX = av.endRes-av.startRes;
+      {
+        scrollX = av.endRes - av.startRes;
+      }
       else if(scrollX<av.startRes-av.endRes)
         scrollX = av.startRes - av.endRes;
 
@@ -460,6 +468,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
 
   public void paint(Graphics g)
   {
+    invalidate();
     Dimension d = idPanel.idCanvas.getSize();
     idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height);
     annotationSpaceFillerHolder.setSize(d.width,