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