It would be good to be able to change the pixel ratio dynamically. I feel like browsers do this with Ctrl+"=" and Ctrl+"-". AI would recommend doing it as part of `set_logical_size` but perhaps another API is more useful.