[R] dev.size() does not return correct size on 4K screen

[Martijn Tennekes]

dev.size() does not return the correct screen size when using a 4K 
screen. With the R console and a x11() device, it seems to overestimate 
with factor 1.5, and in RStudio underestimate with factor 2.

See also https://github.com/rstudio/rstudio/issues/10723

Is this a bug, or is there something I can do?

Best,

Martijn Tennekes

	[[alternative HTML version deleted]]