device_to_user


Description:

public void device_to_user (double dx, double dy, out int ux, out int uy)

Convert device coordinates to user coordinates