Definitely this, I have a Thinkpad with Ubuntu 18.04, built in 4k display with 2 external 2k displays. I spent way too much time trying to get it to work. I just resorted to change magnification each time I dock/undock