repr
repr copied to clipboard
DPI setting
https://twitter.com/hadleywickham/status/712277632428015616
it looks like you generated the plots with the default 72 dpi, for complicated reasons res = 96 looks much better for ggplot2
We are using 120 dpi...
Fixed in IRkernel