I'd be curious to know what happens in a mixed-DPI setup, e.g. internal 4K screen and external 1080p screen.