Manipulators were showing up with bad scaling on screens with different device pixel ratios.
This code change applies device pixel ratio to manipulator sizing, and tries to re-set it on window resize in case the window has been dragged from one screen to another.
The dpr comes from Qt code, so it is accessed in the gui layer and then premultiplied before being passed down to the manipulators themselves.
Manipulators were showing up with bad scaling on screens with different device pixel ratios.
This code change applies device pixel ratio to manipulator sizing, and tries to re-set it on window resize in case the window has been dragged from one screen to another. The dpr comes from Qt code, so it is accessed in the gui layer and then premultiplied before being passed down to the manipulators themselves.