OS: Windows 10 Home, Version 1708, build 16299.371
winit version: 0.11.3
GPU: Nvidia GTX 1080, driver 385.54
Scaling factor: 150%
events_loop.get_primary_monitor()
produces MonitorId with name = "\.\DISPLAY1", dimensions = (2560, 1440), position = (0, 0), hidpi_factor = 1
winit::WindowBuilder::new().with_fullscreen(Some(events_loop.get_primary_monitor()))
changes monitor resolution to 2560x1440 instead of using native 3840x2160.
OS: Windows 10 Home, Version 1708, build 16299.371
winit version: 0.11.3
GPU: Nvidia GTX 1080, driver 385.54
Scaling factor: 150%
produces
MonitorIdwith name = "\.\DISPLAY1", dimensions = (2560, 1440), position = (0, 0), hidpi_factor = 1changes monitor resolution to 2560x1440 instead of using native 3840x2160.