// don't do anything if the mouse press is in the overview's box
// (wait to see if it's a drag instead)
// otherwise update the viewport
if (!od.isPositionInBox(evt.getX(), evt.getY()))
{
draggingBox = false;
// don't do anything if the mouse press is in the overview's box
// (wait to see if it's a drag instead)
// otherwise update the viewport
if (!od.isPositionInBox(evt.getX(), evt.getY()))
{
draggingBox = false;