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