{
if (draggingBox)
{
+ // set the mouse position as a fixed point in the box
+ // and drag relative to that position
od.adjustViewportFromMouse(evt.getX(),
evt.getY(), av.getAlignment().getHiddenSequences(),
av.getAlignment().getHiddenColumns());
});
-
updateOverviewImage();
}