}
Vector2D delta = new Vector2D(deltaVector);
double globalScale = env2D.globalScale();
delta.scale(Vector2D.NULL_VECTOR, new Vector2D(1 / globalScale, 1 / globalScale));
Vector2D newMiddle = new Vector2D(env2D.getZoomBoxMiddle());
newMiddle.translate(delta);
env2D.setZoomBoxMiddle(newMiddle);
} catch (Exception e) {
}
}