Why would you even need to do that though? It’s 2025, not 2005, just set the resolution scale higher, since it’s going to be downsampled to fit your screen anyways… Want 4k on a 1080p monitor? r.screenpercentage 200 and you’re done. Want 720p on a 1080p monitor? r.screenpercentage 66 and so on.