Gets or sets the device pixels per device-independent pixel (the DOM's devicePixelRatio): event coordinates are multiplied
by it to reach the viewport's device pixels. When it changes, the shell also calls Resize(Double, Double).
public double PixelRatio { get; set; }