user_to_device


Description:

public void user_to_device (double ux, double uy, out double dx, out double dy)

Convert user coordinates to device coordinates

Parameters:

ux

The user x coordinate

uy

The user y coordinate

dx

The device x coordinate

dy

The device y coordinate