zoom_box


Description:

public void zoom_box (double x0, double y0, double x1, double y1)

Zoom to a box

Parameters:

x0

The x coordinate of the first corner

y0

The y coordinate of the first corner

x1

The x coordinate of the second corner

y1

The y coordinate of the second corner