I'm trying to use a 4K monitor with a Raspi 4 B rev 1.2, so far I was able to find out that I need to use the pixel doubling in --> Preferences: Raspberry Pi Configuration: Pixel Doubling
Once that setting is applied the UI and specially the mouse starts showing some heavy lagging.
Is this something to expect or there's some kind of workaround for this behaviour?
