elements
elements copied to clipboard
Fix windows quirk when moving from a non-high-dpi window to a high-dpi diplay
When a window is moved from a non-high-dpi to a high-dpi window display, or vice versa, the sizes are wrong. A simple view refresh will re-layout elements properly, but this should be done properly and automatically when a DPI change is detected.