X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;h=1b6df1dee33b05886b130a884c273f434d77cbb4;hb=fce4313f5daea7f5b5914bfaefd11e946664942c;hp=743d217fb10508d7b98de06e91473040b40a3156;hpb=aa6643d51133a8541dcbe30191b344aa09907a5f;p=jalview.git

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 743d217..1b6df1d 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -123,33 +123,23 @@ public class OverviewPanel extends Panel implements Runnable,
   @Override
   public void mousePressed(MouseEvent evt)
   {
-    od.setBoxX(evt.getX());
-    od.setBoxY(evt.getY());
-    checkValid();
+    od.setBoxPositionByMouse(evt.getX(), evt.getY());
+    ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
+    ap.paintAlignment(false);
   }
 
   @Override
   public void mouseReleased(MouseEvent evt)
   {
-    od.setBoxX(evt.getX());
-    od.setBoxY(evt.getY());
-    checkValid();
+    od.setBoxPositionByMouse(evt.getX(), evt.getY());
+    ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
+    ap.paintAlignment(false);
   }
 
   @Override
   public void mouseDragged(MouseEvent evt)
   {
-    od.setBoxX(evt.getX());
-    od.setBoxY(evt.getY());
-    checkValid();
-  }
-
-  /**
-   * Check box dimensions and scroll positions and correct if necessary
-   */
-  private void checkValid()
-  {
-    od.checkValid();
+    od.setBoxPositionByMouse(evt.getX(), evt.getY());
     ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
     ap.paintAlignment(false);
   }
@@ -383,10 +373,7 @@ public class OverviewPanel extends Panel implements Runnable,
     {
       og.drawImage(miniMe, 0, 0, this);
       og.setColor(Color.red);
-      og.drawRect(od.getBoxX(), od.getBoxY(), od.getBoxWidth(),
-              od.getBoxHeight());
-      og.drawRect(od.getBoxX() + 1, od.getBoxY() + 1, od.getBoxWidth() - 2,
-              od.getBoxHeight() - 2);
+      od.drawBox(og);
       g.drawImage(offscreen, 0, 0, this);
     }
   }