I just installed Ubuntu 18.04 LTS in dual boot with Windows 10 on my Thinkpad X1 Yoga 2nd gen which has a high dpi screen (2560x1440). Since the GUI settings do not permit fractional scaling (and 100% is too small while 200% is too big) I followed the intructions in this page.
However, running the following command from terminal
xrandr --output eDP-1 --scale 1.3x1.3 --panning 2560x1440
I get a pretty bad result where the desktop is resized and I get black borders. Moreover I can drag windows in the balck borders but they leave a trace beheind (picture here).
I think it may be a conflict between xrandr and the Gnome desktop enviromment, but it's just a guess. Any suggestions on how to solve this bug?
sleep 2
in between the two commands. – brandones Apr 03 '19 at 23:33