I verified that 1:0.9.12.3+16.04.20171116-0ubuntu1 fixes the issue for me in 16.04: before the upgrade, with the horizontal launcher and at a high scaling factor the padding was wrong. After the upgrade, it was ok.
Thank you!
I verified that 1:0.9.12. 3+16.04. 20171116- 0ubuntu1 fixes the issue for me in 16.04: before the upgrade, with the horizontal launcher and at a high scaling factor the padding was wrong. After the upgrade, it was ok.
Thank you!