// 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
// 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